page 1  (117 pages)
2to next section

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/