@InProceedings{	  mantel.sands.ea:assumptions,
  author	= {Heiko Mantel and David Sands and Henning Sudbrock},
  title		= {Assumptions and Guarantees for Compositional
		  Noninterference},
  booktitle	= {Proceedings of the 24th IEEE Computer Security Foundations
		  Symposium (CSF)},
  publisher	= {IEEE Computer Society},
  address	= {Cernay-la-Ville, France},
  year		= 2011,
  pages		= {218-232},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/2011-CSF-MantelSandsSudbrock-AssumptionsAndGuaranteesForCompositionalNoninterference.pdf}
}