Prudent engineering practice for cryptographic protocols
Abadi, M.
Needham, R.
Syst. Res. Center, Digital Equipment Corp., Palo Alto, CA;
This paper appears in: Software Engineering, IEEE Transactions on
Publication Date: Jan 1996
Volume: 22,
Issue: 1
On page(s): 6-15
ISSN: 0098-5589
References Cited: 36
CODEN: IESEDJ
INSPEC Accession Number: 5191960
Digital Object Identifier: 10.1109/32.481513
Current Version Published: 2002-08-06
Abstract
We present principles for designing cryptographic protocols. The
principles are neither necessary nor sufficient for correctness. They
are however helpful, in that adherence to them would have prevented a
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
