Adding branching to the strand space model

DOI10.1016/J.ENTCS.2009.06.017MaRDI QIDQ5170670zbMATH OpenOpenAlexFDO

Authors Sibylle Fröschle

Publication date 23 July 2014

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

branching processesevent structuresmodels for security protocol analysisstrand spaces

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1954376
• Study on strand space model theory
• scientific article; zbMATH DE number 2242702
• scientific article; zbMATH DE number 1962758
• An inductive approach to strand spaces

Cites work

• Branching processes of Petri nets
• scientific article; zbMATH DE number 1954376 (Why is no real title available?)
• Searching for Shapes in Cryptographic Protocols

Cited in

(9)

• Study on strand space model theory
• Formal modeling and analysis of fairness characterization of E-commerce protocols
• Cryptographic Protocol Composition via the Authentication Tests
• scientific article; zbMATH DE number 1954376 (Why is no real title available?)
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• An inductive approach to strand spaces
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2242702 (Why is no real title available?)
• Strand spaces with choice via a process algebra semantics

This page was built for publication: Adding branching to the strand space model

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