Roles in cryptographic protocols

This publication has 8 references indexed in Scilit:

• A logic of knowledge and belief for reasoning about computer security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A logic of communication in hostile environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal semantics for logics of cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
  Journal of Cryptology, 1991
• Reasoning about belief in cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• The Prisoners’ Problem and the Subliminal Channel
  Published by Springer Nature ,1984
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978