"Assumptions and Guarantees for Compositional Noninterference."

Heiko Mantel, David Sands, Henning Sudbrock (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics