ID | AG99 |
Type | Article - an article from a journal or magazine |
Author | M. Abadi |
D. Gordon | |
Title | A Calculus for Cryptographic Protocols: The Spi Calculus |
Journal | Information and Computation |
Year | 1999 |
Month | January |
Volume | 148 |
Number | 1 |
URL | http://www.research.digital.com/SRC/personal/Martin_Abadi/Papers/spi.ps |
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