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