Symbolic Trace Analysis of Cryptographic Protocols

This publication has 13 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Towards a completeness result for model checking of security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A hierarchy of authentication specifications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques
  Published by Springer Nature ,1999
• Proof techniques for cryptographic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
  Published by Springer Nature ,1998
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983