Formalising Observer Theory for Environment-Sensitive Bisimulation

DOI10.1007/978-3-642-03359-9_14zbMath1252.68251OpenAlexW36867940MaRDI QIDQ3183528

Alwen Tiu, Jeremy E. Dawson

Publication date: 20 October 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-03359-9_14

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Network protocols (68M12)

Uses Software

• Isabelle
• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• A calculus for cryptographic protocols: The spi calculus
• A theory of bisimulation for the \(\pi\)-calculus
• Proof Techniques for Cryptographic Processes
• Mechanizing the metatheory of LF
• A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
• Implementing Spi Calculus Using Nominal Techniques
• On the security of public key protocols
• Mobile values, new names, and secure communication
• CONCUR 2004 - Concurrency Theory
• On bisimulations for the spi calculus
• A Proof Theoretic Analysis of Intruder Theories