Deciding cryptographic protocol adequacy with HOL: The implementation

This publication has 14 references indexed in Scilit:

• Using narrowing in the analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A HOL extension of GNY for automatically analyzing cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A system for the specification and analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Interrogator model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Deciding cryptographic protocol adequacy with HOL
  Published by Springer Nature ,1995
• Server-process restrictiveness in HOL
  Published by Springer Nature ,1994
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• The Interrogator A Tool for Cryptographic Protocol Security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Timestamps in key distribution protocols
  Communications of the ACM, 1981