ID | AT91 |
Typ | inProceedings - Artikel in einem Konferenzband |
Autor | M. Abadi |
M. Tuttle | |
Titel | A Semantics for a logic for Authentication |
Buchtitel | Proc. ACM Symposium of Principles of Distributed Computing |
Jahr | 1991 |
Monat | Januar |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0