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.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (1 citation) (Correct)
No context found.
L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
No context found.
L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6:85-128, 1998.
Constraint Solving for Bounded-Process - Cryptographic Protocol Analysis (Correct)
No context found.
PAULSON, L. The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6, 1 (1998), 85--128.
Is It Possible to Decide Whether a Cryptographic Protocol Is .. - Common, Shmatikov (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Symbolic Protocol Analysis with an Abelian Group Operator or .. - Millen, Shmatikov (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. J. Computer Security, 6(1/2):85--128, 1998.
Security and Fault-Tolerance in Distributed Systems: An - Actor-Based Approach Gul (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. J. 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.
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, Gorrieri (2004) (Correct)
No context found.
L. C. Paulson, "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, 6(1-2):85-128, 1998.
From Security Protocols to Systems Security: Making a case for.. - Monahan (2003) (Correct)
No context found.
Paulson, L.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6 (1998) 85--128
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (2004) (Correct)
No context found.
L. C. Paulson, "The Inductive Approach to Verifying Cryptographic Protocols", Journal of Computer Security, 6(1-2):85-128, 1998.
Specification and Refinement of Secure IT-Systems - Exte Nd Ed (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, pages 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.
Metareasoning about Security Protocols using Distributed.. - Caleiro, Vigano, Basin (2004) (1 citation) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Two Formal Views of Authenticated Group.. - Bresson.. (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Cryptographically Sound and Machine-Assisted - Verification Of Security (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Combining ISABELLE and Timbuk for Cryptographic Protocol.. - Oehl, Sinclair (2002) (Correct)
No context found.
L. C. Paulson, The Inductive Approach to Verifying Cryptographic Protocols, Journal of Computer Security, Volume 6, pages 85--128, 1998,http://www.cl.cam.ac.uk/users/lcp/papers/protocols.html
Plaintext Awareness via Key Registration - Herzog, Liskov, Micali (9 citations) (Correct)
No context found.
Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6 (1998) 85--128
Control Flow Analysis Can Find New Flaws Too - Bodei, Buchholtz, Degano.. (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85-128, 1998.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Cryptology, 6(1):85--128, 1998.
Sound Computational Interpretation of Formal Encryption with.. - Laud, Corin (2003) (1 citation) (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
No context found.
L. C. Paulson. The inductive approach to verifying cryptographic protocols. J. Computer Security, 6:85--128, 1998.
Towards a Metalogic for Security Protocol Analysis.. - Caleiro, Vigano, Basin (Correct)
No context found.
L. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85--128, 1998.
Formal Specification and Verification of the.. - Layouni, Hooman, Tahar (2003) (Correct)
No context found.
L.C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6: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