Reasoning about cryptographic protocols in the spi calculus

This publication has 16 references indexed in Scilit:

• Using temporal logic to specify and verify cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Testing Equivalence for Mobile Processes
  Information and Computation, 1995
• Authentication in distributed systems
  ACM SIGOPS Operating Systems Review, 1993
• The chemical abstract machine
  Theoretical Computer Science, 1992
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Analyzing encryption protocols using formal verification techniques
  IEEE Journal on Selected Areas in Communications, 1989
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984