Pages that link to "Item:Q557888"
From MaRDI portal
The following pages link to A computational interpretation of Dolev-Yao adversaries (Q557888):
Displaying 4 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- Sound and complete computational interpretation of symbolic hashes in the standard model (Q2481980) (← links)
