
@conference {inp:MantelSandsSudbrock2011a,
	title = {{Assumptions and Guarantees for Compositional Noninterference}},
	booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)},
	year = {2011},
	author = {H. Mantel and D. Sands and H. Sudbrock}
}
