Formal analysis of Kerberos 5

This publication has 24 references indexed in Scilit:

• A comparison between strand spaces and multiset rewriting for security protocol analysis
  Journal of Computer Security, 2005
• Specifying Kerberos 5 cross-realm authentication
  Published by Association for Computing Machinery (ACM) ,2005
• Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
  Electronic Notes in Theoretical Computer Science, 2005
• A composable cryptographic library with nested operations
  Published by Association for Computing Machinery (ACM) ,2003
• On Representing Biological Systems through Multiset Rewriting
  Published by Springer Nature ,2003
• Entity Authentication and Key Distribution
  Published by Springer Nature ,2001
• Universally composable security: a new paradigm for cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2001
• Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
  Published by Springer Nature ,1998
• Kerberos Version IV: Inductive analysis of the secrecy goals
  Published by Springer Nature ,1998
• A Global Authentication Service without Global Trust
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986