ID | AG99 |
Typ | Artikel - ein Artikel in einem Journal oder Magazin |
Autor | M. Abadi |
D. Gordon | |
Titel | A Calculus for Cryptographic Protocols: The Spi Calculus |
Journal | Information and Computation |
Jahr | 1999 |
Monat | Januar |
Volume | 148 |
Nummer | 1 |
URL | http://www.research.digital.com/SRC/personal/Martin_Abadi/Papers/spi.ps |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0