A Calculus for Cryptographic Protocols: The Spi Calculus

  title={A Calculus for Cryptographic Protocols: The Spi Calculus},
  author={Mart{\'i}n Abadi and Andrew D. Gordon},
  booktitle={ACM Conference on Computer and Communications Security},
We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarse-grained notions… CONTINUE READING


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

Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library

International Journal of Information Security • 2004
View 3 Excerpts
Highly Influenced

A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol

2008 International Symposium on Computer Science and Computational Technology • 2008

Similar Papers

Loading similar papers…