Summary: January 25, 1998
SRC
Research
Report 149
A Calculus for Cryptographic Protocols
The Spi Calculus
Mart��n Abadi and Andrew D. Gordon
d i g i t a l
Systems Research Center
130 Lytton Avenue
Palo Alto, California 94301
http://www.research.digital.com/SRC/

Systems Research Center
The charter of SRC is to advance both the state of knowledge and the state
of the art in computer systems. From our establishment in 1984, we have
performed basic and applied research to support Digital's business objec�
tives. Our current work includes exploring distributed personal computing
on multiple platforms, networking, programming technology, system mod�
elling and management techniques, and selected applications.

Source: Abadi, Mart�n - Department of Computer Science, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences