Composing strand spaces

DOI10.1007/3-540-36206-1_10MaRDI QIDQ4415247zbMATH OpenFDO

Authors Federico Crazzolara, Glynn Winskel

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2556/25560097.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Adding branching to the strand space model
• scientific article; zbMATH DE number 2242702
• An inductive approach to strand spaces
• Study on strand space model theory
• scientific article; zbMATH DE number 1330437

Cited in

(15)

• Study on strand space model theory
• Joshua Guttman: pioneering strand spaces
• A formal semantics for protocol narrations
• Event structures with symmetry
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Timed Traces and Strand Spaces
• A comparison between strand spaces and multiset rewriting for security protocol analysis
• An inductive approach to strand spaces
• Adding branching to the strand space model
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Distributed temporal logic for the analysis of security protocol models
• scientific article; zbMATH DE number 2242702 (Why is no real title available?)
• Strand spaces with choice via a process algebra semantics
• G-strands
• On the semantics of Alice \& Bob specifications of security protocols

This page was built for publication: Composing strand spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415247)