A Method for Automatic Cryptographic Protocol Verification

This publication has 12 references indexed in Scilit:

• Lower and upper bounds for attacks on authentication protocols
  Published by Association for Computing Machinery (ACM) ,1999
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,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
• Provably secure session key distribution
  Published by Association for Computing Machinery (ACM) ,1995
• The NRL Protocol Analyzer: An Overview
  Published by Defense Technical Information Center (DTIC) ,1994
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986