Pages that link to "Item:Q492914"
From MaRDI portal
The following pages link to Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914):
Displaying 4 items.
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)
- A syntactic criterion for injectivity of authentication protocols (Q2848476) (← links)
- (Q3431408) (← links)