Inter-protocol interleaving attacks on some authentication and key distribution protocols

This publication has 10 references indexed in Scilit:

• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Two attacks on Neuman—Stubblebine authentication protocols
  Information Processing Letters, 1995
• 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
• A note on the use of timestamps as nonces
  ACM SIGOPS Operating Systems Review, 1993
• A nonce-based protocol for multiple authentications
  ACM SIGOPS Operating Systems Review, 1992
• A security risk of depending on synchronized clocks
  ACM SIGOPS Operating Systems Review, 1992
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• 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