Protocol interactions and the chosen protocol attack
From MaRDI portal
Recommendations
- Inter-protocol interleaving attacks on some authentication and key distribution protocols
- Robustness principles for public key protocols
- scientific article; zbMATH DE number 1500499
- On strengthening authentication protocols to foil cryptanalysis
- An Attack on the Zhou-Fan-Li Authenticated Multiple-Key Agreement Protocol
Cited in
(15)- Safely composing security protocols
- Study on strand space model theory
- Inter-protocol interleaving attacks on some authentication and key distribution protocols
- Security in the presence of key reuse: context-separable interfaces and their applications
- Lower bounds and impossibility results for concurrent self composition
- A framework for compositional verification of security protocols
- Combined schemes for signature and encryption: the public-key and the identity-based setting
- Fast Cut-and-Choose Based Protocols for Malicious and Covert Adversaries
- Protocol composition logic (PCL)
- The design and implementation of protocol-based hidden key recovery
- scientific article; zbMATH DE number 1405886 (Why is no real title available?)
- Multi-attacker protocol validation
- scientific article; zbMATH DE number 5242716 (Why is no real title available?)
- Safely Composing Security Protocols
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
This page was built for publication: Protocol interactions and the chosen protocol attack
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4387317)
