@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} }