Adding Branching to the Strand Space Model

Electronic Notes in Theoretical Computer Science

Volumn 242, Issue 1, 2009, Pages 139-159

  Fröschle, Sibylle ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

branching processes; event structures; Models for security protocol analysis; strand spaces

Indexed keywords

BRANCHING PROCESS; BRANCHING PROCESSES; EVENT STRUCTURES; PROCESS CALCULI; PROTOCOL EXECUTION; SECURITY PROTOCOL ANALYSIS; SECURITY PROTOCOLS; STRAND SPACE; STRAND SPACE MODEL; STRAND SPACES; THEORETICAL BASIS;

BIOMINERALIZATION; GRAPH THEORY; MODEL STRUCTURES; NETWORK PROTOCOLS; PETRI NETS; SEMANTICS;

NETWORK SECURITY;

EID: 67649432444     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.017     Document Type: Article

References (8)

1. Crazzolara F., and Winskel G. Events in security protocols. ACM Conference on Computer and Communications Security (2001) 96-105
2. Crazzolara F., and Winskel G. Petri nets in cryptographic protocols. IEEE IPDPS-01 (2001) 149
3. Crazzolara F., and Winskel G. Composing strand spaces. FST TCS 2002. Lecture Notes in Computer Science volume 2556 (2002) 97-108
4. Doghmi S.F., Guttman J.D., and Thayer F.J. Searching for shapes in cryptographic protocols. TACAS 2007. Lecture Notes in Computer Science volume 4424 (2007), Springer 523-538
5. Engelfriet J. Branching processes of Petri nets. Acta Inf. 28 6 (1991) 575-591
6. F. Javier Thayer Fábrega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Symposium on Security and Privacy. IEEE Computer Society, 1998
7. Fröschle S. The insecurity problem: Tackling unbounded data. CSF 2007 (2007), IEEE 370-384
8. MITRE. The strand space method web page. http://www.mitre.org/tech/strands/