Pattern-matching spi-calculus
- 1 August 2006
- journal article
- Published by Elsevier in Information and Computation
- Vol. 204 (8) , 1195-1263
- https://doi.org/10.1016/j.ic.2006.04.004
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Authenticity by typing for security protocols1Journal of Computer Security, 2003
- A meta-notation for protocol analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Analyzing security protocols with secrecy types and logic programsPublished by Association for Computing Machinery (ACM) ,2002
- Mobile values, new names, and secure communicationACM SIGPLAN Notices, 2001
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- An approach to the formal verification of cryptographic protocolsPublished by Association for Computing Machinery (ACM) ,1996
- Prudent engineering practice for cryptographic protocolsIEEE Transactions on Software Engineering, 1996
- A logic of authenticationProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983