F. Javier Thayer Fabrega, Jonathan C. Herzog, Joshua D. Guttman  Home/Search
Context Related
| neu.edu/home/guttma...strands_jcs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: neu.edu/home/guttman/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A strand is a sequence of events; it represents either an execution by a legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a collection of strands, equipped with a graph structure generated by causal interaction. In this framework, protocol correctness claims may be expressed in terms of the connections between strands of different kinds. (Update)
Cited by: More
Analysis of a Multi-Party Fair Exchange - Protocol And Formal (Correct)
Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (Correct)
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (2005) (Correct)
Active bibliography (related documents): More All
0.3: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.3: Neutrosophy in Situation Analysis - Jousselme, Maupin (Correct)
0.3: Algebraic and Model Theoretic Techniques for Fusion.. - Ghilardi, Santocanale (2003) (Correct)
Similar documents based on text: More All
0.8: Authentication Tests and the Structure of Bundles - Guttman, Fàbrega (2002) (Correct)
0.8: Security Goals: Packet Trajectories and Strand Spaces - Guttman (Correct)
0.8: Authentication Tests - Guttman, Fàbrega (2000) (Correct)
Related documents from co-citation: More All
24: The inductive approach to verifying cryptographic protocols - Paulson - 1998
19: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
18: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
BibTeX entry: (Update)
J. Thayer, J. C. Herzog, and J. D. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 1999. 15 http://citeseer.ist.psu.edu/fabrega99strand.html More
@article{ thayer99strand,
author = "J. Thayer and J. Herzog and J. Guttman",
title = "Strand spaces: Proving security protocols correct",
journal = "Journal of Computer Security",
year = "1999",
url = "citeseer.ist.psu.edu/fabrega99strand.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
143 Proving properties of security protocols by induction - Paulson - 1997
110 Casper: A compiler for the analysis of security protocols - Lowe - 1997
93 An attack on the Needham-Schroeder public key authentication.. - Lowe - 1995
90 Strand spaces: Why is a security protocol correct (context) - Thayer, abrega et al.
81 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
62 Breaking and xing the Needham-Schroeder public-key protocol .. - Lowe - 1996
48 Mechanized proofs of a recursive authentication protocol - Paulson - 1997
48 Reasoning about cryptographic protocols in the spi calculus - Abadi, Gordon - 1997
47 Protocol failures in cryptosystems (context) - Moore - 1988
47 Verifying authentication protocols with CSP - Schneider - 1997
44 A model checker for authentication protocols (context) - Marrero, Clarke et al. - 1997
43 Honest ideals on strand spaces (context) - Thayer, abrega et al. - 1998
42 The compositional security checker: A tool for the vericatio.. - Focardi, Gorrieri - 1997
35 and Roger Needham (context) - Burrows, Abadi
31 Number theoretic attacks on secure password schemes - Patel
25 Towards the formal analysis of security protocols - Mao, Boyd - 1993
15 A semantics for a logic of authentication (context) - Abadi, Tuttle - 1991
12 Information Processing Letters (context) - Clark, Jacob et al. - 1995
10 Verifying authentication protocols: Methodology and example - Woo, Lam - 1993
8 Honest functions and their application to the analysis of cr.. (context) - Maneki - 1999
7 the security of ping-pong protocols when implemented using t.. (context) - Even, Goldreich et al. - 1985
6 Intensional specications of security protocols (context) - Roscoe - 1996
3 Reasoning about knowledge: A survey - Halpern - 1995
1 Mixing protocols (context) - Thayer, abrega et al. - 1999
1 Presented at the LICS Workshop on Formal Methods and Securit.. (context) - Thayer, abrega et al. - 1998
1 A heirarchy of authentication specications (context) - Lowe - 1997
1 Cryptographic protocol aws (context) - Carlsen - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ccs.neu.edu/home/guttman/): More
Authentication Tests and the Structure of Bundles - Guttman, Fàbrega (2002) (Correct)
Filtering Postures: Local Enforcement for Global Policies - Guttman (1997) (Correct)
Key Compromise, Strand Spaces, and the Authentication Tests - Guttman (2001) (Correct)
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