This is the full paper. Two distinct, rigorous views of cryptography have developed over the years, in two mostly separate communities. One of the views relies on a simple but e#ective formal approach; the other, on a detailed computational model that considers issues of complexity and probability. There is an uncomfortable and interesting gap between these two approaches to cryptography. This paper starts to bridge the gap, by providing a computational justification for a formal treatment of
|
947
|
A Logic for Authentication
– Burrows, Abadi, et al.
- 1990
|
|
897
|
Random oracles are practical: A paradigm for designing efficient protocols
– Bellare, Rogaway
- 1993
|
|
845
|
Probabilistic Encryption
– Goldwasser, Micali
- 1984
|
|
703
|
On the security of public key protocols
– Dolev, Yao
- 1983
|
|
693
|
The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract
– Goldwasser, Micali, et al.
- 1985
|
|
611
|
A digital signature scheme secure against adaptive chosen-message attacks
– Goldwasser, Micali, et al.
- 1988
|
|
607
|
A Calculus for Cryptographic Protocols: The Spi Calculus
– Abadi, Gordon
- 1999
|
|
466
|
How to generate Cryptographically Strong Sequences of Pseudo-Random Bits
– Blum, Micali
- 1984
|
|
458
|
Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR
– Lowe
- 1996
|
|
329
|
The inductive approach to verifying cryptographic protocols
– Paulson
- 1998
|
|
323
|
Entity Authentication and Key Distribution
– Bellare, Rogaway
- 1995
|
|
237
|
P.: A Concrete Security Treatment of Symmetric Encryption
– Bellare, Desai, et al.
- 1997
|
|
211
|
Automated Analysis of Cryptographic Protocols Using Murphi
– Mitchell, Mitchell, et al.
- 1997
|
|
165
|
Foundations of Cryptography (Fragments of a Book). Weizmann institute of science
– Goldreich
- 1995
|
|
134
|
The security of cipher block chaining
– Bellare, Kilian, et al.
- 1994
|
|
124
|
Three systems for cryptographic protocol analysis
– Kemmerer, Meadows, et al.
- 1994
|
|
108
|
A probabilistic poly-time framework for protocol analysis
– Lincoln, Mitchell, et al.
- 1998
|
|
101
|
The interrogator: Protocol security analysis
– Millen, Clark, et al.
- 1987
|
|
77
|
A bisimulation method for cryptographic protocols
– Abadi, AD
- 1998
|
|
59
|
Secure implementation of channel abstractions
– Abadi, Fournet, et al.
- 2002
|
|
57
|
A uniform-complexity treatment of encryption and zero-knowledge
– Goldreich
- 1993
|
|
53
|
Proof techniques for cryptographic processes
– Boreale, Nicola, et al.
|
|
52
|
Protection in programming-language translations
– Abadi
- 1998
|
|
52
|
Avi Wigderson: Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the association for computingmachinery
– Goldreich, Micali
- 1991
|
|
51
|
Analyzing Encryption Protocols using Formal Verification Technique
– Kemmerer
- 1989
|
|
49
|
Cryptographic Protocols
– DeMillo, Lynch, et al.
- 1982
|
|
48
|
On the security of ping-pong protocols
– DOLEV, EVEN, et al.
- 1982
|
|
45
|
On the security of multi-party ping pong protocols
– Even, Goldreich
- 1983
|
|
30
|
A system for the specification and analysis of key management protocols
– Meadows
- 1991
|
|
28
|
Using temporal logic to specify and verify cryptographic protocols (progress report
– Gray, McLean
- 1995
|
|
27
|
I/O Automaton Models and Proofs for Shared-Key Communication Systems
– Lynch
- 1999
|
|
20
|
The random oracle methodology, revisited (preliminary version). Available at ftp://theory.lcs.mit.edu/pub/people/oded/rom.ps
– Canetti, Goldreich, et al.
- 1998
|
|
15
|
Wigderson: “How to Play Any Mental Game
– Goldreich, Micali, et al.
- 1987
|
|
10
|
Cryptographic security of reactive systems (extended abstract
– Pfitzmann, Schunter, et al.
- 2000
|
|
8
|
Pseudorandom function tribe ensembles based on one-way permutations: Improvements and applications
– Fischlin
- 1999
|
|
2
|
Fai Epsilon Ip, and King-Shan Lui. Provable security for cryptographic protocols---exact analysis and engineering applications
– Gray, Kin
- 1997
|
|
1
|
Anonymous encryption. Unpublished manuscript
– Bellare, Boldyreva, et al.
- 2000
|
