Composing strand spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2556 LNCS, Issue , 2002, Pages 97-108

  Crazzolara, Federico ^a,b   Winskel, Glynn ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b DANISH NATIONAL RESEARCH FOUNDATION   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

EVENT STRUCTURES; NON-DETERMINISM; PROCESS LANGUAGES; SAFETY PROPERTY; SECURITY PROTOCOLS; STRAND SPACE; STRAND SPACE MODEL;

NETWORK SECURITY;

EID: 84877781491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36206-1_10     Document Type: Conference Paper

References (14)

1. I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. Relating strands and multiset rewriting for security protocol analysis. 13th CSFW, 2000.
2. J. Clark and J. Jacob. A survey of authentication protocol literature: V. 1.0. 1997.
3. F. Crazzolara and G. Winskel. Events in security protocols. 8th ACM CCS, 2001.
4. D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 2(29), 1983.
5. ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Charts (MSC). 1997.
6. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, Event structures and Domains. Theoretical Computer Science, 13, 1981.
7. V. R. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33-71, 1986.
8. P. Syverson. Towards a Strand Semantics for Authentication Logic. Electronic Notes in Theoretical Computer Science, (20), 1999.
9. J. Thayer and J. Guttman. Authentication tests. IEEE Symposium on Security and Privacy, 2000.
10. J. Thayer, J. Herzog, and J. Guttman. Honest ideals on strand spaces. 11th CSFW, 1998.
11. J. Thayer, J. Herzog, and J. Guttman. Strand spaces: Why is a security protocol correct? IEEE Symposium on Security and Privacy, 1998.
12. G. Winskel. Events in computation. PhD thesis, University of Edinburgh, 1980.
13. G. Winskel. Event structures. Adv. Course on Petri nets, vol. 255 of LNCS, 1987.
14. G. Winskel. An introduction to event structures. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol. 354 of LNCS, 1988.