Adding Branching to the Strand Space Model

DOI10.1016/J.ENTCS.2009.06.017zbMath1291.68285OpenAlexW2134338971MaRDI QIDQ5170670

Sibylle Fröschle

Publication date: 23 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.017

zbMATH Keywords

branching processesevent structuresstrand spacesmodels for security protocol analysis

Mathematics Subject Classification ID

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

Related Items (3)

Strand spaces with choice via a process algebra semantics ⋮ Cryptographic Protocol Composition via the Authentication Tests ⋮ Formal modeling and analysis of fairness characterization of E-commerce protocols

Cites Work

• Unnamed Item
• Branching processes of Petri nets
• Searching for Shapes in Cryptographic Protocols

This page was built for publication: Adding Branching to the Strand Space Model