Pages that link to "Item:Q860905"
From MaRDI portal
The following pages link to Injective synchronisation: An extension of the authentication hierarchy (Q860905):
Displaying 5 items.
- On the relationships between models in protocol verification (Q2482448) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- A syntactic criterion for injectivity of authentication protocols (Q2848476) (← links)
- Comparing State Spaces in Automatic Security Protocol Analysis (Q3631370) (← links)
- (Q5009710) (← links)