@inproceedings{intransitiveNoninterference,
  title = "What is intransitive noninterference?",
  author = "A. W. Roscoe and M.H. Goldsmith",
  year = "1999",
  booktitle = "{Proceedings of CSFW 1999}",
  publisher = "{IEEE Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/69.ps",
}