Security Protocols and Specifications

This publication has 47 references indexed in Scilit:

• Secure Web tunneling
  Computer Networks and ISDN Systems, 1998
• Chosen ciphertext attacks against protocols based on the RSA encryption standard PKCS #1
  Published by Springer Nature ,1998
• Control flow analysis for the π-calculus
  Published by Springer Nature ,1998
• Secrecy by typing in security protocols
  Published by Springer Nature ,1997
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Testing Equivalence for Mobile Processes
  Information and Computation, 1995
• Robustness Principles for Public Key Protocols
  Published by Springer Nature ,1995
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Defining liveness
  Information Processing Letters, 1985
• Secure communication using remote procedure calls
  ACM Transactions on Computer Systems, 1985