A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol

This publication has 25 references indexed in Scilit:

• Cryptographically Sound and Machine-Assisted Verification of Security Protocols
  Published by Springer Nature ,2003
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*
  Journal of Cryptology, 2002
• Formal Eavesdropping and Its Computational Interpretation
  Published by Springer Nature ,2001
• 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
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Relations among notions of security for public-key encryption schemes
  Published by Springer Nature ,1998
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983