|  | |||||||||
Expanding the text here will generate a large
amount of data for your browser to display
January 25, 1998
SRC
Research
Report 149
A Calculus for Cryptographic Protocols
The Spi Calculus
Mart??n Abadi and Andrew D. Gordon
digital
Systems Research Center
130 Lytton Avenue
Palo Alto, California 94301
http://www.research.digital.com/SRC/