A taxonomy of replay attacks [cryptographic protocols]

This publication has 16 references indexed in Scilit:

• Using logics to detect implementation-dependent flaws [cryptographic protocol design]
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A system for the specification and analysis of key management protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic of communication in hostile environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On key distribution protocols for repeated authentication
  ACM SIGOPS Operating Systems Review, 1993
• Systematic design of a family of attack-resistant authentication protocols
  IEEE Journal on Selected Areas in Communications, 1993
• Adding time to a logic of authentication
  Published by Association for Computing Machinery (ACM) ,1993
• Applying Formal Methods to the Analysis of a Key Management Protocol
  Journal of Computer Security, 1992
• Limitations of challenge-response entity authentication
  Electronics Letters, 1989
• Timestamps in key distribution protocols
  Communications of the ACM, 1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978