Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
January 25, 1998 A Calculus for Cryptographic Protocols
 

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