Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
No context found.
Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
No context found.
Paulson, L.: 1998, `The inductive approach to verifying cryptographic protocols'. Journal of Computer Security 6(1), 85--128.
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, al. (2003) (Correct)
No context found.
L. C. Paulson, "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, 6(1-2):85-128, 1998.
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (Correct)
No context found.
L. C. Paulson, "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, 6(1-2):85-128, 1998.
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
No context found.
Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of computer security, 6:85--128, 1998.
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
No context found.
L. C. Paulson, "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, 6(1-2):85-128, 1998.
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85128, 1998.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
Lawrence Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6(1) (1998)
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (42 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1--2):85-- 128, 1998.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
No context found.
L.C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Fast Automatic Synthesis of Security Protocols Using - Backward Search Hongbin (Correct)
No context found.
L.C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Limits of the Reactive Simulatability/UC of Dolev-Yao.. - Backes, Pfitzmann.. (2006) (3 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
No context found.
Paulson, L.: 1998, `The Inductive Approach to Verifying Cryptographic Protocols'. Journal of Computer Security 6, 85--128.
An Isabelle formalization of protocol-independent secrecy with an .. - Blanqui (2002) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1/2):85-128, 1998.
Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1):85-128, 1998.
Cryptographically Sound and Machine-Assisted Verification of.. - Backes, Jacobi (2002) (7 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1):85-128, 1998.
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC