Pages that link to "Item:Q2248082"
From MaRDI portal
The following pages link to Composition of password-based protocols (Q2248082):
Displaying 5 items.
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Stateful protocol composition (Q2167741) (← links)
- Modular approach to the design and analysis of password-based security protocols (Q2385411) (← links)
- Transforming password protocols to compose (Q2911625) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)