Reasoning about cryptographic protocols in the spi calculus
Authors:
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 59-73
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR1996
- 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
- The chemical abstract machineTheoretical Computer Science, 1992
- Applying Formal Methods to the Analysis of a Key Management ProtocolJournal of Computer Security, 1992
- A logic of authenticationProceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 1989
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- The Interrogator: Protocol Secuity AnalysisIEEE Transactions on Software Engineering, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984