Pages that link to "Item:Q2849570"
From MaRDI portal
The following pages link to A coordination-based methodology for security protocol verification (Q2849570):
Displaying 6 items.
- Operational semantics and verification of security protocols. (Q610283) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables (Q3631368) (← links)
- (Q4411969) (← links)
- Modular verification of security protocol code by typing (Q5255101) (← links)