|
872
|
On the Security of Public Key Protocols
– Danny Dolev, et al.
- 1983
|
|
368
|
The inductive approach to verifying cryptographic protocols
– Lawrence C. Paulson
- 1998
|
|
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
|
|
699
|
A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
- 1999
|
|
50
|
On the Security of Ping-Pong Protocols
– D Dolev, S Even, R Karp
- 1982
|
|
134
|
A meta-notation for protocol analysis
– I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov
- 1999
|
|
245
|
Automated Analysis of Cryptographic Protocols Using Murphi
– John C. Mitchell, Mark Mitchell, Ulrich Stern
- 1997
|
|
111
|
Undecidability of bounded security protocols
– N Durgin, P Lincoln, J Mitchell, A Scedrov
- 1999
|
|
79
|
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
|
|
52
|
Cryptographic Protocols
– M Merritt
- 1983
|
|
783
|
Using encryption for authentication in large networks of computers
– R M Needham, M D Schroeder
- 1978
|
|
104
|
Towards a Completeness Result for Model Checking of Security Protocols
– Gavin Lowe
- 1999
|
|
68
|
A Model for Secure Protocols and Their Compositions (Extended Abstract)
– Nevin Heintze, J. D. Tygar
- 1996
|
|
58
|
Mechanized Proofs for a Recursive Authentication Protocol
– Lawrence C. Paulson
- 1997
|
|
128
|
Three systems for cryptographic protocol analysis
– R Kemmerer, C Meadows, J Millan
- 1994
|
|
267
|
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
– Martín Abadi, Phillip Rogaway
- 2000
|
|
70
|
Verifying authentication protocols with CSP
– Steve Schneider
|
|
112
|
Constraint Solving for Bounded-Process Cryptographic Protocol Analysis
– Jonathan Millen, Vitaly Shmatikov
- 2001
|
