Assumptions and guarantees for compositional noninterference Mantel, Heiko Sands, David Sudbrock, Henning 2011 - TUHH Open Research
Controlled declassification based on intransitive noninterference Mantel, Heiko Sands, David 2004 - TUHH Open Research