Three systems for cryptographic protocol analysis

This publication has 22 references indexed in Scilit:

• A logic of communication in hostile environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Integrating formal methods into the development process
  IEEE Software, 1990
• A security scheme for resource sharing over a network
  Computers & Security, 1990
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Unification in a combination of equational theories: an efficient algorithm
  Published by Springer Nature ,1990
• Analyzing encryption protocols using formal verification techniques
  IEEE Journal on Selected Areas in Communications, 1989
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• INATEST
  ACM SIGSOFT Software Engineering Notes, 1985
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Timestamps in key distribution protocols
  Communications of the ACM, 1981