Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 3.
Buch
Hrsg.: Ning, Peng ; Atluri, Vijay ; Gligor, Virgil D. ; Mantel, Heiko (2007)
Proceedings of the ACM Workshop on Formal Methods in Security Engineering : From Specifications to Code (FMSE).
Buch, Bibliographie
Konferenzveröffentlichung
Backes, Michael ; Ning, Peng (2009)
Computer Security - 2009, 14th European Symposium on Research in Computer Security.
Konferenzveröffentlichung, Bibliographie
Lux, Alexander ; Mantel, Heiko
Hrsg.: Backes, Michael ; Ning, Peng (2009)
Declassification with Explicit Reference Points.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum