Konferenzveröffentlichung

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
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

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie

Report

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Report, Bibliographie