Pages that link to "Item:Q1283776"
From MaRDI portal
The following pages link to A calculus for cryptographic protocols: The spi calculus (Q1283776):
Displaying 5 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Mobile ambients (Q1575154) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- Channel abstractions for network security (Q3550700) (← links)
