A Calculus for Cryptographic Protocols: The Spi Calculus
- 1 January 1999
- journal article
- Published by Elsevier in Information and Computation
- Vol. 148 (1) , 1-70
- https://doi.org/10.1006/inco.1998.2740
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Prudent engineering practice for cryptographic protocolsIEEE Transactions on Software Engineering, 1996
- Testing Equivalence for Mobile ProcessesInformation and Computation, 1995
- Authentication in distributed systemsACM SIGOPS Operating Systems Review, 1993
- A calculus for access control in distributed systemsACM Transactions on Programming Languages and Systems, 1993
- Authentication in distributed systemsACM Transactions on Computer Systems, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- A logic of authenticationProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- Testing equivalences for processesTheoretical Computer Science, 1984
- New directions in cryptographyIEEE Transactions on Information Theory, 1976