Pages that link to "Item:Q2848069"
From MaRDI portal
The following pages link to Toward reasoning about security protocols: a semantic approach (Q2848069):
Displaying 9 items.
- A comparison of semantic models for noninterference (Q604479) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Update semantics of security protocols (Q2386105) (← links)
- Towards an awareness-based semantics for security protocol analysis (Q2841215) (← links)
- Information based reasoning about security protocols (Q2841219) (← links)
- Metareasoning about security protocols using distributed temporal logic (Q2848036) (← links)
- Modeling adversaries in a logic for security protocol analysis (Q2881088) (← links)
- Towards semantic-aware management of security services in GT4 (Q3517343) (← links)