Pages that link to "Item:Q2031426"
From MaRDI portal
The following pages link to A decidable class of security protocols for both reachability and equivalence properties (Q2031426):
Displaying 7 items.
- Decidability and combination results for two notions of knowledge in security protocols (Q437043) (← links)
- Robust and secure implementation: equivalence theorems (Q2016223) (← links)
- Equivalence properties by typing in cryptographic branching protocols (Q2324201) (← links)
- Computing Knowledge in Security Protocols under Convergent Equational Theories (Q5191113) (← links)
- On the (Non-)Equivalence of UC Security Notions (Q5200576) (← links)
- Automata, Languages and Programming (Q5466517) (← links)
- Unwinding Possibilistic Security Properties (Q5862302) (← links)