TY - JOUR T1 - Analyzing information flow JF - Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security Y1 - 2007 A1 - Hicks, Michael W. ER -