Pages that link to "Item:Q3617737"
From MaRDI portal
The following pages link to Cryptographic Protocol Composition via the Authentication Tests (Q3617737):
Displaying 5 items.
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Stateful protocol composition (Q2167741) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)
