Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Prudent Engineering Practice for Cryptographic Protocols
 

Summary: Prudent Engineering Practice
for Cryptographic Protocols
Mart'in Abadi and Roger Needham
November 1, 1995

Mart'in Abadi is at the Systems Research Center, Digital Equipment Cor­
poration, 130 Lytton Avenue, Palo Alto, CA 94301, USA.
Roger Needham is at the University of Cambridge Computer Laboratory,
Pembroke Street, Cambridge CB2 3QG, UK.
A preliminary version of this paper has appeared in the Proceedings of
the 1994 IEEE Computer Society Symposium on Research in Security and
Privacy.
c
flDigital Equipment Corporation 1995
This work may not be copied or reproduced in whole or in part for any com­
mercial purpose. Permission to copy in whole or in part without payment
of fee is granted for nonprofit educational and research purposes provided
that all such whole or partial copies include the following: a notice that
such copying is by permission of the Systems Research Center of Digital
Equipment Corporation in Palo Alto, California; an acknowledgment of the

  

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

 

Collections: Computer Technologies and Information Sciences