Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

DOI10.1007/978-3-319-23506-6_8zbMath1444.68041OpenAlexW2296414973MaRDI QIDQ3449627

Sibylle Fröschle

Publication date: 4 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Related Items (2)

Multilevel transitive and intransitive non-interference, causally ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples

Uses Software

• scyther

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidability of bisimilarity for Petri nets and some related problems
• The decidability border of hereditary history preserving bisimilarity
• CCS expressions, finite state processes, and three problems of equivalence
• Non-interleaving bisimulation equivalences on basic parallel processes
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• The equality problem for vector addition systems is undecidable
• Deciding true concurrency equivalences on safe, finite nets
• Undecidability of domino games and hhp-bisimilarity.
• Verification of cryptographic protocols: tagging enforces termination
• Bisimulation from open maps
• Automated verification of selected equivalences for security protocols
• Typing Messages for Free in Security Protocols: The Case of Equivalence Properties
• Three Partition Refinement Algorithms
• A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
• Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Mathematical Foundations of Computer Science 2003
• Foundations of Software Science and Computational Structures
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems