Automating Open Bisimulation Checking for the Spi Calculus

@article{Tiu2010AutomatingOB,
  title={Automating Open Bisimulation Checking for the Spi Calculus},
  author={Alwen Tiu and Jeremy E. Dawson},
  journal={2010 23rd IEEE Computer Security Foundations Symposium},
  year={2010},
  pages={307-321}
}
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

Citations

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

74 Citations

01020'12'14'16'18
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…