The following pages link to (Q4536614):
Displaying 8 items.
- Secrecy and group creation (Q1763430) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)
