The NRL Protocol Analyzer: An Overview

This publication has 16 references indexed in Scilit:

• A formal language for cryptographic protocol requirements
  Designs, Codes and Cryptography, 1996
• Three systems for cryptographic protocol analysis
  Journal of Cryptology, 1994
• A note on the use of timestamps as nonces
  ACM SIGOPS Operating Systems Review, 1993
• Authentication and authenticated key exchanges
  Designs, Codes and Cryptography, 1992
• A security scheme for resource sharing over a network
  Computers & Security, 1990
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• On the security of ping-pong protocols
  Information and Control, 1982
• Timestamps in key distribution protocols
  Communications of the ACM, 1981
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976