Verification of low-level crypto-protocol implementations using automated theorem proving.
MEMOCODE. 2005 S. 89 - 98
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
MEMOCODE. 2005 S. 89 - 98
Erscheinungsjahr: 2005
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |