Automated Theorem Proving for Cryptographic Protocols with Automatic Attack Generation
München: Technische Universität München, Institut für Informatik 2004
Erscheinungsjahr: 2004
Publikationstyp: Diverses (Forschungsbericht)
Sprache: Englisch
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Jürjens, Jan (Autor)
Kuhn, Thomas A. (Autor)
