Stateful applied pi calculus: observational equivalence and labelled bisimilarity

DOI10.1016/j.jlamp.2017.03.001zbMath1407.68324OpenAlexW2596880044MaRDI QIDQ2397042

Myrto Arapinis, Eike Ritter, Jia Liu, Mark D. Ryan

Publication date: 29 May 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/stateful-applied-pi-calculus-observational-equivalence-and-labelled-bisimilarity(15668517-8fc0-4fde-8bc2-527a787f4b9c).html

Mathematics Subject Classification ID

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

Uses Software

• YAPA
• Akiss

Cites Work

• Unnamed Item
• Deciding equivalence-based properties using constraint solving
• State and progress in strand spaces: proving fair exchange
• Deciding knowledge in security protocols under equational theories
• A complete symbolic bisimulation for full applied pi calculus
• Private authentication
• Automated Verification of Equivalence Properties of Cryptographic Protocols
• YAPA
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Mobile values, new names, and secure communication
• Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
• A relational modal logic for higher-order stateful ADTs
• Relating two standard notions of secrecy
• Automating Security Analysis: Symbolic Equivalence of Constraint Systems