A bisimulation method for cryptographic protocols

This publication has 17 references indexed in Scilit:

• Using temporal logic to specify and verify cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1997
• Reasoning about cryptographic protocols in the spi calculus
  Published by Springer Nature ,1997
• Secrecy by typing in security protocols
  Published by Springer Nature ,1997
• An approach to the formal verification of cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1996
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• 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