Pages that link to "Item:Q1874278"
From MaRDI portal
The following pages link to Secrecy types for asymmetric communication. (Q1874278):
Displaying 6 items.
- Secrecy and group creation (Q1763430) (← links)
- (Q2769422) (← links)
- Linked data privacy (Q2973246) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Analyzing security protocols with secrecy types and logic programs (Q5178896) (← links)
- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif (Q5253587) (← links)