T. Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 160--171, Oakland, CA, May 1998. IEEE Computer Society Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Verifying Second-Level Security Protocols - Bella, Longo, Paulson (2003) (1 citation) (Correct)
An Isabelle formalization of protocol-independent secrecy with an .. - Blanqui (Correct)
Verifying Second-Level Security Protocols - Bella, Longo, Paulson (2003) (1 citation) (Correct)
Authentication Primitives for Refining Protocol Specifications - Bodei, Degano, Focardi (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
Authentication Primitives for Protocol Specifications - Bodei, Degano, Focardi, Priami (Correct)
Validating Firewalls using Flow Logics - Nielson, Nielson, Hansen (2002) (Correct)
Automatic Validation of Protocol Narration - Bodei, Buchholtz, Degano.. (2003) (2 citations) (Correct)
On Distributed Security Transactions that use Secure.. - Broadfoot, Lowe (2003) (Correct)
An Improved Constraint-Based System for the Verification of.. - Corin, Etalle (2002) (4 citations) (Correct)
A Compositional Logic for Proving Security Properties of.. - Durgin, Mitchell.. (2002) (9 citations) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
An Isabelle formalization of protocol-independent secrecy with an .. - Blanqui (2002) (Correct)
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
Inductive Verification of Cryptographic Protocols - Bella (2000) (4 citations) (Correct)
A Compositional Logic for Protocol Correctness - Durgin, Mitchell, Pavlovic (2001) (14 citations) (Correct)
A Compositional Logic For Proving Security Properties Of.. - Durgin, Mitchell.. (2003) (9 citations) (Correct)
Advancing Assurance for Secure Distributed Communications - Bella, Bistarelli (2002) (Correct)
Inductive Verification of Smart Card Protocols - Bella (2000) (Correct)
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
Primitives for Authentication in Process Algebras - Bodei, Degano, Focardi, Priami (Correct)
Data Access Specification and the Most Powerful Symbolic.. - Cervesato (2002) (Correct)
First 50 documents
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