Authentication tests and the structure of bundles

This publication has 27 references indexed in Scilit:

• Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
  Published by Springer Nature ,1998
• An attack on the Needham-Schroeder public-key authentication protocol
  Information Processing Letters, 1995
• Two attacks on Neuman—Stubblebine authentication protocols
  Information Processing Letters, 1995
• Optimal privacy and authentication on a portable communications system
  ACM SIGOPS Operating Systems Review, 1994
• A lesson on authentication protocol design
  ACM SIGOPS Operating Systems Review, 1994
• A note on the use of timestamps as nonces
  ACM SIGOPS Operating Systems Review, 1993
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Efficient and timely mutual authentication
  ACM SIGOPS Operating Systems Review, 1987
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978