@inproceedings{ComposingAndDecomposing,
  title = "Composing and decomposing systems under security properties",
  author = "A. W. Roscoe and L. Wulf",
  year = "1995",
  booktitle = "{Proceedings of 1995 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/57.ps",
}