@inproceedings{roscoe1999intransitive,
  title = "What is intransitive noninterference?",
  author = "Roscoe, AW and Goldsmith, MH",
  year = "1999",
  booktitle = "Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE",
  organization = "IEEE",
  pages = "228--238",
}