Finite-state analysis of security protocols

This publication has 13 references indexed in Scilit:

• Protocol verification as a hardware design aid
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Proving properties of security protocols by induction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modelling and verifying key-exchange protocols using CSP and FDR
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Security properties and CSP
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1996
• Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches
  Published by Defense Technical Information Center (DTIC) ,1996
• Three systems for cryptographic protocol analysis
  Journal of Cryptology, 1994
• Non-malleable cryptography
  Published by Association for Computing Machinery (ACM) ,1991
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984
• On the security of public key protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981