Pages that link to "Item:Q3586028"
From MaRDI portal
The following pages link to Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries (Q3586028):
Displaying 4 items.
- Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal (Q488261) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- A Dolev-Yao-Based Definition of Abuse-Free Protocols (Q3591450) (← links)