Pages that link to "Item:Q549724"
From MaRDI portal
The following pages link to Distributed temporal logic for the analysis of security protocol models (Q549724):
Displaying 4 items.
- Probability timed automata for investigating communication processes (Q747506) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Metareasoning about security protocols using distributed temporal logic (Q2848036) (← links)
- Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis (Q3378195) (← links)