Pages that link to "Item:Q861696"
From MaRDI portal
The following pages link to Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (Q861696):
Displaying 4 items.
- Composition of password-based protocols (Q2248082) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Analysing password protocol security against off-line dictionary attacks (Q2849571) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705935) (← links)