Secure protocol composition
From MaRDI portal
Recommendations
Cited in
(21)- Safely composing security protocols
- Typing and compositionality for security protocols: a generalization to the geometric fragment
- Stateful protocol composition
- Invariant-based reasoning about parameterized security protocols
- A framework for compositional verification of security protocols
- Protocol composition logic (PCL)
- Secure composition of protocols
- Transforming password protocols to compose
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
- Cryptographic Protocol Composition via the Authentication Tests
- Compositional refinement in agent-based security protocols
- scientific article; zbMATH DE number 1956551 (Why is no real title available?)
- Constraint-based structuring of network protocols
- Sound Security Protocol Transformations
- Sessions and separability in security protocols
- scientific article; zbMATH DE number 5225572 (Why is no real title available?)
- Safely Composing Security Protocols
- Categorical composable cryptography
- Compositional analysis of contract-signing protocols
- A (restricted) quantifier elimination for security protocols
- Deductive verification of alternating systems
This page was built for publication: Secure protocol composition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276488)
