The Game of the Name in Cryptographic Tables

This publication has 5 references indexed in Scilit:

• Proving properties of security protocols by induction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A bisimulation method for cryptographic protocols
  Published by Springer Nature ,1998
• A calculus for cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1997
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983