Pages that link to "Item:Q5705935"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705935):
Displaying 6 items.
- Formal analysis of PIN block attacks (Q860910) (← links)
- Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (Q861696) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- Automated verification of selected equivalences for security protocols (Q2474047) (← links)
- Analysing password protocol security against off-line dictionary attacks (Q2849571) (← links)
- A Calculus to Detect Guessing Attacks (Q3399200) (← links)