Formally-Based Black-Box Monitoring of Security Protocols.
ESSoS. 2010 S. 79 - 95
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ESSoS. 2010 S. 79 - 95
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |