loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1994 IEEE Symposium on Security and Privacy
Prudent Engineering Practice for Cryptographic Protocols
Oakland, CA
May 16-May 18
ISBN: 0-8186-5675-1
ASCII Text
x 
 
Martin Abadi, Roger Needham, "Prudent Engineering Practice for Cryptographic Protocols," Security and Privacy, IEEE Symposium on, pp. 122, 1994 IEEE Symposium on Security and Privacy, 1994.
 
 
BibTex
x
 
@article{ 10.1109/RISP.1994.296587,
author = {Martin Abadi and Roger Needham},
title = {Prudent Engineering Practice for Cryptographic Protocols},
journal ={Security and Privacy, IEEE Symposium on},
volume = {0},
year = {1994},
issn = {1540-7993},
pages = {122},
doi = {http://doi.ieeecomputersociety.org/10.1109/RISP.1994.296587},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Security and Privacy, IEEE Symposium on
TI - Prudent Engineering Practice for Cryptographic Protocols
SN - 1540-7993
SP
EP
A1 - Martin Abadi,
A1 - Roger Needham,
PY - 1994
KW - null
VL - 0
JA - Security and Privacy, IEEE Symposium on
ER -
 

We present principles for the design of cryptographic protocols. The principles are neither necessary nor sufficient for correctness. They are however helpful, in that adherence to them would have avoided a considerable number of published errors.

Our principles are informal guidelines. They complement formal methods, but do not assume them. In order to demonstrate the actual applicability of these guidelines, we discuss some instructive examples from the literature.

Citation:
Martin Abadi, Roger Needham, "Prudent Engineering Practice for Cryptographic Protocols," sp, pp.122, 1994 IEEE Symposium on Security and Privacy, 1994
Usage of this product signifies your acceptance of the Terms of Use.