@InProceedings{ONeillCC06,
  author =	 {Kevin R. O'Neill and Michael R. Clarkson and Stephen Chong},
  title =	 {Information-Flow Security for Interactive Programs},
  month =	 jul,
  year =	 2006,
  pages =	 {190--201},
  booktitle =	 {Proceedings of the 19th {IEEE} Computer Security Foundations Workshop},
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}