Formal verification of cryptographic protocols: A survey

This publication has 41 references indexed in Scilit:

• Generating formal cryptographic protocol specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic of communication in hostile environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Entity Authentication and Key Distribution
  Published by Springer Nature ,2001
• Privacy and authentication for wireless local area networks
  IEEE Wireless Communications, 1994
• Authentication and authenticated key exchanges
  Designs, Codes and Cryptography, 1992
• Rejoinder to Nessett
  ACM SIGOPS Operating Systems Review, 1990
• A security scheme for resource sharing over a network
  Computers & Security, 1990
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• On the security of ping-pong protocols
  Information and Control, 1982