Proving Properties of Security Protocols by Induction (1997)

by Lawrence C. Paulson
Venue:In 10th IEEE Computer Security Foundations Workshop
Citations:138 - 7 self

Documents Related by Co-Citation

1040 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
548 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
872 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
784 Using encryption for authentication in large networks of computers – Roger M Needham, Michael D Schroeder - 1978
245 Automated Analysis of Cryptographic Protocols Using Murphi – John C. Mitchell, Mark Mitchell, Ulrich Stern - 1997
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
183 A compiler for the analysis of security protocols – Casper - 1997
216 The NRL Protocol Analyzer: An Overview – Catherine Meadows - 1996
128 Three systems for cryptographic protocol analysis – R Kemmerer, C Meadows, J Millan - 1994
61 Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches – Catherine A. Meadows - 1996
93 Modelling and verifying key-exchange protocols using CSP and FDR – A. W. Roscoe - 1995
103 Security properties and CSP – Steve Schneider, Royal Holloway - 1995
32 The evolution of the Kerberos authentication service – John T. Kohl, B. Clifford Neuman - 1994
29 The Interrogator Model – Jonathan K Millen - 1995
131 A Semantic Model for Authentication Protocols – Thomas Y. C. Woo, Simon S. Lam - 1993
176 Reasoning about Belief in Cryptographic Protocols – Li Gong, Roger Needham, Raphael Yahalom - 1990
68 A Model for Secure Protocols and Their Compositions (Extended Abstract) – Nevin Heintze, J. D. Tygar - 1996
40 A Model of Computation for the NRL Protocol Analyzer – Catherine Meadows - 1994
53 Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols – E. M. Clarke, S. Jha, W. Marrero - 1998