Pages that link to "Item:Q5716817"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716817):
Displaying 8 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (Q861696) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- A study of password security (Q1121243) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Composition of password-based protocols (Q2248082) (← links)
- Modular approach to the design and analysis of password-based security protocols (Q2385411) (← links)
- Analysing password protocol security against off-line dictionary attacks (Q2849571) (← links)