J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
No context found.
J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998.
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
No context found.
J. Thayer Fabrega, J. Herzog, and J. D. Guttman. Strand spaces: Why is a security protocol correct? In Proc. of the 19th IEEE Computer Society Symposium on Research in Security and Privacy, 1998.
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
No context found.
F. Javier Thayer Fabrega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings 1998.
Electronic Notes in Theoretical Computer Science 40 (2001) - Url Http Www (Correct)
No context found.
F. Javier Thayer Fabrega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998.
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
No context found.
Thayer, J., J. Herzog, and J. Guttman: 1998, `Strand Spaces: Why is a Security Protocol Correct?'. In: 1998 IEEE Symposium on Security and Privacy. pp. 160--171.
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (42 citations) (Correct)
No context found.
F. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In 1998.
Fast Automatic Synthesis of Security Protocols Using - Backward Search Hongbin (Correct)
No context found.
F. Javier Thayer, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: why is a security protocol correct? In Proceedings of 1998.
A Syntactic Criterion for Injectivity of Authentication.. - Cremers, Mauw, de Vink (2005) (Correct)
No context found.
Thayer, F., J. Herzog and J. Guttman, Strand spaces: Why is a security protocol correct, in: Proc. Symposium on Security and Privacy, Oakland (1998), pp. 160-- 171. 15
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
No context found.
F.J. Thayer Fabrega, J.C. Herzog, and J.D. Guttman. Strand spaces: Why is a security protocol correct? In Proc. 1998.
Operational Semantics of Security Protocols - Cremers, Mauw (2005) (Correct)
No context found.
Thayer Fabrega, F., Herzog, J., Guttman, J.: Strand spaces: Why is a security protocol correct? In: Proc. 1998 IEEE Symposium on Security and Privacy, Oakland, California (1998) 66--77
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
No context found.
J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998.
Contract Signing, Optimism, and Advantage - Rohit Chadha John (Correct)
No context found.
F.J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proc. IEEE Symposium on Security and Privacy , pages 160-171, 1998. 43
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) (Correct)
No context found.
F. J. Thayer Fabrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Why is a security protocol correct? In Proc. 19th IEEE Symposium on Security & Privacy, pages 160--171, 1998.
Contract Signing, Optimism, and Advantage - Chadha, Mitchell, Scedrov.. (Correct)
No context found.
F.J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proc. IEEE Symposium on Security and Privacy, pages 160--171, 1998.
Constraint Solving for Bounded-Process - Cryptographic Protocol Analysis (Correct)
No context found.
THAYER, F., HERZOG, J., AND GUTTMAN, J. Strand spaces: Why is a security protocol correct? In IEEE Symposium on Security and Privacy (1998), pp. 160--171.
Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2003) (Correct)
No context found.
F. Javier Thayer Fabrega, Jonathan C. Herzog, and Joshua D. 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.
Contract Signing, Optimism, and Advantage - Rohit Chadha John (Correct)
No context found.
F.J. Thayer Fabrega, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proc. IEEE Symposium on Security and Privacy, pages 160--171, 1998.
A Comparison between Strand Spaces and Multiset.. - Cervesato.. (2002) (Correct)
No context found.
F. Javier Thayer Fabrega, Jonathan C. Herzog, and Joshua D. 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.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
F. Javier Thayer, J. C. Herzog and J. D. Guttman. Strand spaces: why is a security protocol correct? In Proc. IEEE Symposium on Security and Privacy 1998.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
F. J. Thayer Fabrega, J. C. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998.
A formal model of Diffie-Hellman using CSP and rank functions - Delicata, Schneider (2003) (1 citation) (Correct)
No context found.
F. J. THAYER FBREGA, J. C. HERZOG, AND J. D. GUTTMAN, Strand spaces: Why is a security protocol correct?, in Proceedings of the 1998.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) (Correct)
No context found.
F. J. Thayer Fabrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Why is a security protocol correct? In Proc. 19th IEEE Symposium on Security & Privacy, pages 160--171, 1998.
Just Fast Keying in the Pi Calculus - Abadi, Blanchet, Fournet (2003) (4 citations) (Correct)
No context found.
F. J. Thayer F abrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Why is a security protocol correct? In IEEE Symposium on Security and Privacy, pages 160--171, May 1998.
Towards Model Checking a Spi-Calculus Dialect - Gnesi, Latella, Lenzini (2002) (Correct)
No context found.
J. Thayer, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proc. of the 19th IEEE Computer Society Symposium on Research in Security and Privacy, 1998.
Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
No context found.
J. Thayer, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? In Proc. of the 19th IEEE Computer Society Symposium on Research in Security and Privacy, 1998. A The Needham-Schroeder Public-Key Protocol To help understand the detail of the speci cation and of the mappings, we will analyze an example, consisting of the following classical protocol:
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