Pages that link to "Item:Q5462665"
From MaRDI portal
The following pages link to On bisimulations for the spi calculus (Q5462665):
Displaying 8 items.
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- Formalising Observer Theory for Environment-Sensitive Bisimulation (Q3183528) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
