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
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, al. (2003) (Correct)
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (Correct)
Deciding knowledge properties of security protocols - Ramanujam, Suresh (Correct)
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
Logical Concepts in Cryptography - Kramer (2006) (Correct)
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (42 citations) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
Fast Automatic Synthesis of Security Protocols Using - Backward Search Hongbin (Correct)
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
Limits of the Reactive Simulatability/UC of Dolev-Yao.. - Backes, Pfitzmann.. (2006) (3 citations) (Correct)
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
An Isabelle formalization of protocol-independent secrecy with an .. - Blanqui (2002) (Correct)
Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) (Correct)
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
Cryptographically Sound and Machine-Assisted Verification of.. - Backes, Jacobi (2002) (7 citations) (Correct)
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) (Correct)
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) (Correct)
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (1 citation) (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
Constraint Solving for Bounded-Process - Cryptographic Protocol Analysis (Correct)
Is It Possible to Decide Whether a Cryptographic Protocol Is .. - Common, Shmatikov (Correct)
Symbolic Protocol Analysis with an Abelian Group Operator or .. - Millen, Shmatikov (Correct)
Security and Fault-Tolerance in Distributed Systems: An - Actor-Based Approach Gul (Correct)
A Probabilistic Formulation of Imperfect Cryptography - Troina, Aldini, Gorrieri (2003) (Correct)
Approximating Imperfect Cryptography in a Formal Model - Troina, Aldini, Gorrieri (2004) (Correct)
From Security Protocols to Systems Security: Making a case for.. - Monahan (2003) (Correct)
Towards a Formal Treatment of Secrecy against.. - Troina, Aldini, Gorrieri (2004) (Correct)
Specification and Refinement of Secure IT-Systems - Exte Nd Ed (Correct)
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
Metareasoning about Security Protocols using Distributed.. - Caleiro, Vigano, Basin (2004) (1 citation) (Correct)
Two Formal Views of Authenticated Group.. - Bresson.. (Correct)
Cryptographically Sound and Machine-Assisted - Verification Of Security (Correct)
Combining ISABELLE and Timbuk for Cryptographic Protocol.. - Oehl, Sinclair (2002) (Correct)
Plaintext Awareness via Key Registration - Herzog, Liskov, Micali (9 citations) (Correct)
Control Flow Analysis Can Find New Flaws Too - Bodei, Buchholtz, Degano.. (Correct)
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
Sound Computational Interpretation of Formal Encryption with.. - Laud, Corin (2003) (1 citation) (Correct)
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
Towards a Metalogic for Security Protocol Analysis.. - Caleiro, Vigano, Basin (Correct)
Formal Specification and Verification of the.. - Layouni, Hooman, Tahar (2003) (Correct)
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