Pages that link to "Item:Q3190130"
From MaRDI portal
The following pages link to Typing Messages for Free in Security Protocols: The Case of Equivalence Properties (Q3190130):
Displaying 6 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- A decidable class of security protocols for both reachability and equivalence properties (Q2031426) (← links)
- Efficiently deciding equivalence for standard primitives and phases (Q2167745) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- (Q4993330) (← links)
- (Q5089298) (← links)
