A calculus for cryptographic protocols: The spi calculus
type: Item
instance of: scholarly article
title: A calculus for cryptographic protocols: The spi calculus
zbMATH Open document ID: 0924.68073
author: Martín Abadi
author: Andrew D. Gordon
published in: Information and Computation
publication date: 1999-03-30T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 1271054
zbMATH Keywords: spi calculus
zbMATH Keywords: pi calculus
zbMATH Keywords: cryptographic protocols
describes a project that uses: Interrogator
MaRDI profile type: Publication
full work available at URL: inco.1998.2740
OpenAlex ID: W1562901937
cites work: Reasoning about cryptographic protocols in the spi calculus
cites work: Q4230922
cites work: A logic of authentication
cites work: The chemical abstract machine
cites work: Testing equivalence for mobile processes
cites work: Q4234051
cites work: New directions in cryptography
cites work: Testing equivalences for processes
cites work: Q3777424
cites work: Q3992568
cites work: Functions as processes
cites work: Q4842539
cites work: A calculus of mobile processes. I
cites work: Barbed bisimulation
cites work: Using encryption for authentication in large networks of computers
cites work: Q3837262
cites work: A method for obtaining digital signatures and public-key cryptosystems
cites work: Q4869527
DOI: 10.1006/INCO.1998.2740
description: scientific article; zbMATH DE number 1271054