Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
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