Symbolic Bisimulation for the Applied Pi Calculus
DOI10.1007/978-3-540-77050-3_11zbMATH Open1135.94327OpenAlexW1539904031MaRDI QIDQ5458829FDOQ5458829
Authors: Stéphanie Delaune, Steve Kremer, M. D. Ryan 
Publication date: 24 April 2008
Published in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77050-3_11
Recommendations
Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Mobile values, new names, and secure communication
- On the symbolic reduction of processes with cryptographic functions.
- Symbolic Bisimulation for the Applied Pi Calculus
- Deciding knowledge in security protocols under equational theories
- Programming Languages and Systems
- Symbolic bisimulations
- A symbolic semantics for the \(\pi\)-calculus
- CONCUR 2004 - Concurrency Theory
Cited In (21)
- Deciding equivalence-based properties using constraint solving
- Symbolic Bisimulation for the Applied Pi Calculus
- On bisimulations for the asynchronous π-calculus
- Encoding cryptographic primitives in a calculus with polyadic synchronisation
- A complete symbolic bisimilarity for an extended spi calculus
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
- A Probabilistic Applied Pi–Calculus
- Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- A complete symbolic bisimulation for full applied pi-calculus
- Proof system for applied pi calculus
- CONCUR 2004 - Concurrency Theory
- Computing strong and weak bisimulations for psi-calculi
- Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
- A pure labeled transition semantics for the applied pi calculus
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity
- Compositional equivalences based on open pNets
- A complete symbolic bisimulation for full applied pi calculus
- On Bisimulation Theory in Linear Higher-Order π-Calculus
- Formalising Observer Theory for Environment-Sensitive Bisimulation
This page was built for publication: Symbolic Bisimulation for the Applied Pi Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458829)
