Pages that link to "Item:Q3183515"
From MaRDI portal
The following pages link to Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515):
Displaying 5 items.
- Protocol analysis with time and space (Q2154006) (← links)
- Impracticality of Efficient PVSS in Real Life Security Standard (Poster) (Q3013015) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol (Q3178248) (← links)
- Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515) (← links)