Pages that link to "Item:Q2848036"
From MaRDI portal
The following pages link to Metareasoning about security protocols using distributed temporal logic (Q2848036):
Displaying 5 items.
- Multi-attacker protocol validation (Q540676) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195) (← links)
- On Obligations (Q5862662) (← links)