Mantel, Heiko ; Sands, David ; Sudbrock, Henning (2011)
Assumptions and Guarantees for Compositional Noninterference.
Konferenzveröffentlichung, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings.
doi: 10.1007/978-3-540-32004-3_20
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sands, David (2004)
Controlled Declassification based on Intransitive Noninterference.
Konferenzveröffentlichung, Bibliographie