Assumptions and guarantees for compositional noninterference Mantel, Heiko Sands, David Sudbrock, Henning 2011 - TUHH Open Research