Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project.
Electr. Notes Theor. Comput. Sci. Bd. 250. H. 1. 2009 S. 123 - 136
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Electr. Notes Theor. Comput. Sci. Bd. 250. H. 1. 2009 S. 123 - 136
Erscheinungsjahr: 2009
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |