Intensional specifications of security protocols

This publication has 6 references indexed in Scilit:

• Modelling and verifying key-exchange protocols using CSP and FDR
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An attack on the Needham-Schroeder public-key authentication protocol
  Information Processing Letters, 1995
• Cryptanalysis and protocol failures
  Communications of the ACM, 1994
• Authentication and authenticated key exchanges
  Designs, Codes and Cryptography, 1992
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Key Distribution Protocol for Digital Mobile Communication Systems
  Published by Springer Nature ,1990