A Formalization of Assumptions and Guarantees for Compositional Noninterference by Sylvia Grewe, Heiko Mantel and Daniel Schoepe Apr 23