Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Electronic Notes in Theoretical Computer Science. Bd. 250. H. 1. Amsterdam: Elsevier 2009 S. 123 - 136
Erscheinungsjahr: 2009
ISBN/ISSN: 1571-0661
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.entcs.2009.08.009
| Geprüft: | Bibliothek |
