Prudent Engineering Practice for Cryptographic Protocols

Prudent Engineering Practice for Cryptographic Protocols (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martin Abadi , Roger Needhamt

Venue:	Proc. IEEE Computer Society Symposium on Research in Security and Privacy
Citations:	332 - 18 self

BibTeX

@INPROCEEDINGS{Abadi94prudentengineering,
    author = {Martin Abadi and Roger Needhamt},
    title = {Prudent Engineering Practice for Cryptographic Protocols},
    booktitle = {Proc. IEEE Computer Society Symposium on Research in Security and Privacy},
    year = {1994}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

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

Citations

2507	A method for obtaining digital signatures and public-key cryptosystems - Rivest, Shamir, et al.
1040	R.: A logic for authentication - Burrows, Abadi, et al. - 1989
325	The MD4 message digest algorithm - RIVEST - 1991
315	A calculus for access control in distributed systems - Abadi, Burrows, et al. - 1993
289	Zero Knowledge Proofs of Identity - Feige, Fiat, et al. - 1987
221	Timestamps in key distribution protocols - Denning, Sacco - 1981
163	Authentication in the Taos operating system - Wobber, Abadi, et al. - 1994
112	E cient and Timely Mutual Authentication - Otway, Rees - 1987
109	Limitations of the Kerberos authentication system - Bellovin, Merritt - 1991
94	NetCash: A Design for Practical Electronic Currency on the Internet - Medvinsky, Neuman
80	Authentication for distributed systems - Woo, Lam - 1992
50	A Security Risk of Depending on Synchronized Clocks - Gong - 1992
48	A note on the use of timestamps as nonces - Neuman, Stubblebine - 1993
30	Renesse. A security architecture for fault-tolerant systems - Reiter, Birman, et al. - 1994
27	Roles in cryptographic protocols - Snekkenes - 1992
12	Secure Communication in Internet Environments: A Hierarchical Key Management Scheme for End-To-End Encryption - Lu, Sundareshan - 1989
3	Limitations of Logical Analysis of Cryptographic Protocols - Boyd, Mao - 1993
2	Timed Models for Protocol Security - Heintze, Tygar - 1992
1	Recommendation X.509 and IS0 9594-8: The DirectoryAuthentication Framework - Book - 1988
1	Authentication in Distributed 134 Theory and practice - Lampson, Abadi, et al. - 1992
1	Authentication in Distributed SysDecember - Liebl - 1978
1	Towards Formal port 93-1367, Department of Computer SciAnalysis of Security Protocols - Mao, Boyd - 1993
1	Cryptography and Secure Analysis of the Proxy Problem in DisChannels. Distributed Systems, 2nd Ed., S. tributed Systems - Needham - 1983
1	Trust Relations in Secure Systems-A Distributed Aut hent icat ion Perspective - Yahalom, Klein, et al.