ID | GS90 |
Typ | inProceedings - Artikel in einem Konferenzband |
Autor | K. Gaarder |
E. Snekkenes | |
Titel | On The Formal Analysis of PKCS Authentication Protocols |
Buchtitel | Advances in Cryptology - AUSCRYPT '90, Conference Proceedings, Sydney, Australia, Lecture Notes in Computer Science 453 |
Jahr | 1990 |
Monat | Januar |
Seite(n) | 106-121 |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0