Documents Related by Co-Citation

784 Using encryption for authentication in large networks of computers – Roger M Needham, Michael D Schroeder - 1978
64 The Kerberos Network Authentication Service (Version 5 – J T Kohl, B C Neuman - 1993
128 Three systems for cryptographic protocol analysis – R Kemmerer, C Meadows, J Millan - 1994
548 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
1040 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
138 Proving Properties of Security Protocols by Induction – Lawrence C. Paulson - 1997
93 Modelling and verifying key-exchange protocols using CSP and FDR – A. W. Roscoe - 1995
245 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
872 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
103 Security properties and CSP – Steve Schneider, Royal Holloway - 1995
61 Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches – Catherine A. Meadows - 1996
109 The SSL protocol version 3.0 – A Freier, P Karlton, P Kocher - 1996
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
110 Limitations of the Kerberos Authentication System – S. M. Bellovin, M. Merritt - 1991
582 Kerberos: An Authentication Service for Open Network Systems – Jennifer G. Steiner, Clifford Neuman, Jeffrey I. Schiller - 1988
185 Provably Secure Session Key Distribution -- The Three Party Case – Mihir Bellare, et al. - 1995
388 Entity Authentication and Key Distribution – Mihir Bellare, Phillip Rogaway - 1993
58 Mechanized Proofs for a Recursive Authentication Protocol – Lawrence C. Paulson - 1997
61 Breaking and the Needham-Schroeder public-key protocol using FDR – G Lowe - 1996