Exploring the BAN approach to protocol analysis

This publication has 19 references indexed in Scilit:

• A logic of knowledge and belief for reasoning about computer security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using narrowing in the analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A critique of the Burrows, Abadi and Needham logic
  ACM SIGOPS Operating Systems Review, 1990
• On the formal specification and verification of a multiparty session protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Analyzing encryption protocols using formal verification techniques
  IEEE Journal on Selected Areas in Communications, 1989
• Secure communication in internet environments: a hierarchical key management scheme for end-to-end encryption
  IEEE Transactions on Communications, 1989
• Protocol failures in cryptosystems
  Proceedings of the IEEE, 1988
• Expert systems applied to the analysis of key management schemes
  Computers & Security, 1987
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• An axiomatic basis for computer programming
  Communications of the ACM, 1969