Analysis of Security Protocols (1999)

by Nancy A. Durgin , John C. Mitchell
Venue:IN CALCULATIONAL SYSTEM DESIGN, SERIES F: COMPUTER AND SYSTEMS SCIENCES
Citations:21 - 4 self

Documents Related by Co-Citation

1043 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
611 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
860 Using encryption for authentication in large networks of computers – R Needham, M Schroeder - 1978
782 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1132 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
236 The NRL Protocol Analyzer: An Overview – Catherine Meadows - 1996
150 Proving Properties of Security Protocols by Induction – Lawrence C. Paulson - 1997
95 Modelling and verifying key-exchange protocols using CSP and FDR – A. W. Roscoe - 1995
262 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
95 Formal Verification of Cryptographic Protocols: A Survey – Catherine A. Meadows - 1995
84 On the Reachability Problem in Cryptographic Protocols – Roberto M. Amadio, Roberto M. Amadio, Denis Lugiez, Denis Lugiez, Thème Réseaux Et Systèmes, Unité Inria, Sophia Antipolis - 2000
406 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
76 On the symbolic reduction of processes with cryptographic functions – R Amadio, D Lugiez, V Vanackère
113 Security properties and CSP – Steve Schneider, Royal Holloway - 1995
59 On the Security of Multi-Party Ping-Pong Protocols – Shimon Even, Oded Goldreich - 1985
137 Constraint Solving for Bounded-Process Cryptographic Protocol Analysis – Jonathan Millen, Vitaly Shmatikov - 2001
148 Protocol insecurity with finite number of sessions is NP-complete – Michaël Rusinowitch, Mathieu Turuani - 2001
226 A survey of authentication protocol literature – John Clark, Jeremy Jacob - 1997
187 Reasoning about Belief in Cryptographic Protocols – Li Gong, Roger Needham, Raphael Yahalom - 1990