Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

This publication has 14 references indexed in Scilit:

• A derivation system and compositional logic for security protocols
  Journal of Computer Security, 2005
• Computationally Sound, Automated Proofs for Security Protocols
  Published by Springer Nature ,2005
• Logics for reasoning about cryptographic constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A derivation system for security protocols and its logical formalization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• The Diffie-Hellman key-agreement scheme in the strand-space model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A compositional logic for proving security properties of protocols*
  Journal of Computer Security, 2003
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*
  Journal of Cryptology, 2002
• Entity Authentication and Key Distribution
  Published by Springer Nature ,2001
• Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements
  Published by Springer Nature ,2000
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983