Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Secrecy by Typing in Security Protocols # Martn Abadi
 

Summary: Secrecy by Typing in Security Protocols #
Mart’n Abadi
Systems Research Center
Compaq
ma@pa.dec.com
December 8, 1998
Abstract
We develop principles and rules for achieving secrecy properties in
security protocols. Our approach is based on traditional classification
techniques, and extends those techniques to handle concurrent pro­
cesses that use shared­key cryptography. The rules have the form of
typing rules for a basic concurrent language with cryptographic prim­
itives, the spi calculus. They guarantee that, if a protocol typechecks,
then it does not leak its secret inputs.
# A preliminary version of this paper was presented in conjunction with the Third
International Symposium on Theoretical Aspects of Computer Software in September
1997, and appeared in its proceedings, volume 1281 of Springer Verlag Lecture Notes in
Computer Science, pages 611--638.

Contents

  

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

 

Collections: Computer Technologies and Information Sciences