Formalising Observer Theory for Environment-Sensitive Bisimulation
From MaRDI portal
Publication:3183528
DOI10.1007/978-3-642-03359-9_14zbMath1252.68251MaRDI QIDQ3183528
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68M12: Network protocols
Uses Software
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