A calculus for cryptographic protocols
1997pp. 36–47
Citations Over TimeTop 1% of 1997 papers
Abstract
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 of protocol equivalence.
Related Papers
- → Cryptovirology: extortion-based security threats and countermeasures(2002)161 cited
- → Capability-Based Financial Instruments(2001)63 cited
- → Increasing lifetime of cryptographic keys on smartphone platforms with the controlled randomness protocol(2011)3 cited
- → Keynote speaker 1: Global harmonization of cryptographic standards(2015)