Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

This publication has 22 references indexed in Scilit:

• An efficient cryptographic protocol verifier based on prolog rules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A tool for lazy verification of security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A meta-notation for protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Casper: a compiler for the analysis of security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Analyzing security protocols with secrecy types and logic programs
  Published by Association for Computing Machinery (ACM) ,2002
• Lazy Infinite-State Analysis of Security Protocols
  Published by Springer Nature ,1999
• Kerberos Version IV: Inductive analysis of the secrecy goals
  Published by Springer Nature ,1998
• Formal Verification of Cryptographic Protocols: A Survey
  Published by Defense Technical Information Center (DTIC) ,1995
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983