Assumptions and guarantees for compositional noninterference. (2011)

by Heiko Mantel, David Sands, Henning Sudbrock
Venue:In IEEE Computer Security Foundations Symposium,