Pages that link to "Item:Q2841215"
From MaRDI portal
The following pages link to Towards an awareness-based semantics for security protocol analysis (Q2841215):
Displaying 4 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Toward reasoning about security protocols: a semantic approach (Q2848069) (← links)
- (Q3384076) (← links)