@Article{VolpanoSmith96,
 author = {Dennis Volpano and Cynthia Irvine and Geoffrey Smith},
 title = {A sound type system for secure flow analysis},
 journal = {Journal of Computer Security},
 volume = {4},
 number = {2-3},
 year = {1996},
 pages = {167--187},
}

@Article{SabelfeldMyers03,
  author = 	 {Andrei Sabelfeld and Andrew C. Myers},
  title = 	 {Language-Based Information-Flow Security},
  journal = 	 {IEEE Journal on Selected Areas in Communications},
  year = 	 {2003},
  volume = 	 {21},
  number = 	 {1},
  pages =        {5--19}
}

