Pages that link to "Item:Q610283"
From MaRDI portal
The following pages link to Operational semantics and verification of security protocols. (Q610283):
Displaying 5 items.
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Log Your Car: Reliable Maintenance Services Record (Q2980878) (← links)
- Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
