Prudent Engineering Practice for Cryptographic Protocols (1994)

Cached

Download Links

by Martin Abadi , Roger Needhamt
Venue:Proc. IEEE Computer Society Symposium on Research in Security and Privacy
Citations:332 - 18 self

Documents Related by Co-Citation

1040 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
784 Using encryption for authentication in large networks of computers – Roger M Needham, Michael D Schroeder - 1978
548 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
2292 New Directions in Cryptography – Whitfield Diffie, Martin E. Hellman - 1976
128 Three systems for cryptographic protocol analysis – R Kemmerer, C Meadows, J Millan - 1994
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
77 Programming Satan's Computer – Ross Anderson, Roger Needham
2507 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems – R.L. Rivest, A. Shamir, L. Adleman - 1978
221 Timestamps in key distribution protocols – D E Denning, G M Sacco - 1981
900 Applied Cryptography – B Schneier - 1996
80 Authentication for Distributed Systems – Thomas Y. C. Woo, Simon S. Lam - 1992
252 Why Cryptosystems Fail – Ross Anderson - 2005
387 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
112 E cient and Timely Mutual Authentication – D Otway, O Rees - 1987
55 What do we mean by entity authentication – D Gollmann - 1996
872 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
187 An Attack on the Needham-Schroeder Public-Key Authentication Protocol – Gavin Lowe - 1995
41 A Lesson on Authentication Protocol Design – Thomas Y.C. Woo, Thomas Y. C, Woo Simon, Simon S. Lam - 1994
368 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998