arrow
Return

Prudent engineering practice for cryptographic protocols

delete1996-01-01
delete240
delete
OA
AI
M
M. Abadi *
R
R. Needham
DOI:10.1109/32.481513delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.
Keywords:
cryptography
authentication
cryptographic protocols
authentication protocols
security

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.8K
Citations:
1.1W

Organization

No organization information available
Cited Papers

Cited Papers

errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
Ultrastructural localization of rotavirus antigens using colloidal gold
err1984-01-01
err0
PREAI
errBetty L. Petrie; Harry B. Greenberg; David Y. Graham; Mary K. Estes
errShare
errSave
errShare
errSave
errShare
errSave
A complete table of electronegativities
err1960-05-01
err0
PREAI
errElbert J. Little; Mark M. Jones
errShare
errSave
researcher View more