Using narrowing in the analysis of key management protocols

This publication has 16 references indexed in Scilit:

• Protocol failures in cryptosystems
  Proceedings of the IEEE, 1988
• Public protection of software
  ACM Transactions on Computer Systems, 1987
• Expert systems applied to the analysis of key management schemes
  Computers & Security, 1987
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987
• The Interrogator A Tool for Cryptographic Protocol Security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Programming in Prolog
  Published by Springer Nature ,1984
• On the security of multi-party ping-pong protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• On the security of ping-pong protocols
  Information and Control, 1982
• Timestamps in key distribution protocols
  Communications of the ACM, 1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978