ID | AT91 |
Type | inProceedings - an article in a conference proceedings |
Author | M. Abadi |
M. Tuttle | |
Title | A Semantics for a logic for Authentication |
Book Title | Proc. ACM Symposium of Principles of Distributed Computing |
Year | 1991 |
Month | January |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0