Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 176-187
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions2006
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications2005
- Computationally Sound, Automated Proofs for Security Protocols2005
- Soundness of Formal Encryption in the Presence of Active Adversaries2004
- Protocol insecurity with a finite number of sessions and composed keys is NP-completeTheoretical Computer Science, 2003
- Cryptographically Sound and Machine-Assisted Verification of Security Protocols2003
- Constraint solving for bounded-process cryptographic protocol analysis2001
- Entity Authentication and Key Distribution2001
- Reconciling Two Views of Cryptography2000
- Probabilistic encryptionJournal of Computer and System Sciences, 1984