Secure composition of protocols
From MaRDI portal
Publication:2902913
Recommendations
Cited in
(9)- Secure protocol composition
- On the Automated Correction of Protocols with Improper Message Encoding
- Safely composing security protocols
- Transforming password protocols to compose
- scientific article; zbMATH DE number 5225572 (Why is no real title available?)
- Sound Security Protocol Transformations
- On the secure implementation of security protocols
- Safely Composing Security Protocols
- Stateful protocol composition
This page was built for publication: Secure composition of protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2902913)