@article {14662, title = {Analyzing information flow}, journal = {Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security}, year = {2007}, month = {2007///}, author = {Hicks, Michael W.} }