Work

A calculus for cryptographic protocols: the spi calculus

Year: 1997

Type: conference-paper

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.

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/266420.266432

Authors: Martín Abadi, Andrew D. Gordon

Institution: University of Cambridge

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Royal Society

OpenAlex ID: W1994676271

FWCI: 21.26

Cites: 37

Cited by: 1,153

Related to: 10