Finite Models in FOL-Based Crypto-Protocol Verification.
ARSPA-WITS. 2009 S. 155 - 172
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ARSPA-WITS. 2009 S. 155 - 172
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |