Stream Based Specification of Cryptographic Protocols and Their Composition Properties
München: Technische Universität München, Institut für Informatik 2008
Erscheinungsjahr: 2008
Publikationstyp: Diverses (Forschungsbericht)
Sprache: Englisch
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Spichkova, Maria (Autor)
Jürjens, Jan (Autor)
