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