Pages that link to "Item:Q3636823"
From MaRDI portal
The following pages link to Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (Q3636823):
Displaying 3 items.
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)