Reasoning about Message Integrity

This publication has 12 references indexed in Scilit:

• Limitations of the Kerberos authentication system
  ACM SIGCOMM Computer Communication Review, 1990
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• Reasoning about belief in cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Privacy enhancement for Internet electronic mail: Part I - message encipherment and authentication procedures
  Published by RFC Editor ,1989
• Privacy enhancement for Internet electronic mail: Part III - algorithms, modes, and identifiers
  Published by RFC Editor ,1989
• Solutions to the multidestination secure electronic mail problem
  Computers & Security, 1988
• Protocol failures in cryptosystems
  Proceedings of the IEEE, 1988
• Privacy enhancement for Internet electronic mail: Part I: Message encipherment and authentication procedures
  Published by RFC Editor ,1987
• Digital signatures with RSA and other public-key cryptosystems
  Communications of the ACM, 1984
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983