Pages that link to "Item:Q5458848"
From MaRDI portal
The following pages link to Safely Composing Security Protocols (Q5458848):
Displayed 8 items.
- Bounding messages for free in security protocols -- extension to various security properties (Q476179) (← links)
- Safely composing security protocols (Q1028731) (← links)
- Modular verification of protocol equivalence in the presence of randomness (Q2167715) (← links)
- Composition of password-based protocols (Q2248082) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)
- Cryptographic Protocol Composition via the Authentication Tests (Q3617737) (← links)
- Safely Composing Security Protocols (Q5458848) (← links)
- Bounding Messages for Free in Security Protocols (Q5458850) (← links)