Authentication tests

This publication has 20 references indexed in Scilit:

• Athena: a new efficient automatic checker for security protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Proving properties of security protocols by induction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Casper: a compiler for the analysis of security protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An attack on the Needham-Schroeder public-key authentication protocol
  Information Processing Letters, 1995
• 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
• Key Distribution Protocol for Digital Mobile Communication Systems
  Published by Springer Nature ,1990
• A logic of authentication
  Published by Association for Computing Machinery (ACM) ,1989
• Efficient and timely mutual authentication
  ACM SIGOPS Operating Systems Review, 1987
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978