Pages that link to "Item:Q557806"
From MaRDI portal
The following pages link to A method for symbolic analysis of security protocols (Q557806):
Displaying 9 items.
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Analysis of security protocols as open systems (Q1853583) (← links)
- Security analysis of \textit{SPAKE2+} (Q2119068) (← links)
- Symbolic analysis of identity-based protocols (Q2303367) (← links)
- Universally composable symbolic security analysis (Q2429708) (← links)
- Deconstructing Alice and Bob (Q2848475) (← links)
- (Q5196618) (← links)
- Theory of Cryptography (Q5898365) (← links)