ID | GKSG91 |
Typ | inProceedings - Artikel in einem Konferenzband |
Autor | V. Gligor |
R. Kailar | |
S. Stubblebine | |
L. Gong | |
Titel | Logics for Cryptographic Protocols - Virtues and Linitations |
Buchtitel | Proc. Computer Security Foundations Workshop IV |
Jahr | 1991 |
Monat | Juni |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0