The following pages link to (Q4387317):
Displaying 8 items.
- Combined schemes for signature and encryption: the public-key and the identity-based setting (Q259033) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Safely composing security protocols (Q1028731) (← links)
- Study on strand space model theory (Q1412125) (← links)
- Lower bounds and impossibility results for concurrent self composition (Q2425531) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Protocol Composition Logic (PCL) (Q2864155) (← links)
- Safely Composing Security Protocols (Q5458848) (← links)
