Pages that link to "Item:Q2894308"
From MaRDI portal
The following pages link to Security Protocol Verification: Symbolic and Computational Models (Q2894308):
Displayed 5 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- Automated analysis of cryptographic assumptions in generic group models (Q2423840) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)
- (Q6197212) (← links)