Pages that link to "Item:Q3378195"
From MaRDI portal
The following pages link to Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195):
Displaying 5 items.
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- Multi-attacker protocol validation (Q540676) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Secure key management policies in strand spaces (Q2154015) (← links)
