@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},
  language	= {USenglish},
  year		= 2011,
  pages		= {218--232},
  auxlabel	= {Proofs and Addendum},
  categories	= {fmseceng:complete, fmseceng:securityanalysis,
		  rscp:confpub},
  aux		= {papers/2011/proofs-and-addendum.pdf},
  pdf		= {papers/2011/2011-CSF-MantelSandsSudbrock-AssumptionsAndGuaranteesForCompositionalNoninterference.pdf}
		  
}