Automating Open Bisimulation Checking for the Spi Calculus

  title={Automating Open Bisimulation Checking for the Spi Calculus},
  author={Alwen Tiu and Jeremy E. Dawson},
  journal={2010 23rd IEEE Computer Security Foundations Symposium},
We consider the problem of automating open bisimulation checking for the spi calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulation considered here is indexed by a (symbolic) environment, represented as bi-traces (i.e., pairs of symbolic traces), which encode the history of interaction between the intruder with the processes being checked for bisimilarity. A crucial part of the definition of this open bisimulation, that is, the notion of… CONTINUE READING
Highly Cited
This paper has 74 citations. REVIEW CITATIONS
48 Citations
24 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 48 extracted citations

74 Citations

Citations per Year
Semantic Scholar estimates that this publication has 74 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…