The following pages link to Secure protocol composition (Q276488):
Displaying 13 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- A (restricted) quantifier elimination for security protocols (Q860909) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Safely composing security protocols (Q1028731) (← links)
- Stateful protocol composition (Q2167741) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Transforming password protocols to compose (Q2911625) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)
- Sound Security Protocol Transformations (Q5326755) (← links)
- (Q5435083) (← links)