Abstracting Cryptographic Protocols by Prolog Rules

This publication has 13 references indexed in Scilit:

• An efficient cryptographic protocol verifier based on prolog rules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Athena: a new efficient automatic checker for security protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automating Data Independence
  Published by Springer Nature ,2000
• Abstracting Cryptographic Protocols with Tree Automata
  Published by Springer Nature ,1999
• Proving security protocols with model checkers by data independence techniques
  Journal of Computer Security, 1999
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• Explicit communication revisited: two new attacks on authentication protocols
  IEEE Transactions on Software Engineering, 1997
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989