A formal language for cryptographic protocol requirements

This publication has 14 references indexed in Scilit:

• Privacy and authentication for wireless local area networks
  IEEE Wireless Communications, 1994
• Authentication and authenticated key exchanges
  Designs, Codes and Cryptography, 1992
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• A semantics for a logic of authentication (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1991
• Rejoinder to Nessett
  ACM SIGOPS Operating Systems Review, 1990
• A security scheme for resource sharing over a network
  Computers & Security, 1990
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• A public key cryptosystem and a signature scheme based on discrete logarithms
  IEEE Transactions on Information Theory, 1985
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976