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 (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Spichkova, Maria (Autor)
Jürjens, Jan (Autor)
