Pages that link to "Item:Q1603655"
From MaRDI portal
The following pages link to Authentication tests and the structure of bundles. (Q1603655):
Displayed 7 items.
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- A (restricted) quantifier elimination for security protocols (Q860909) (← links)
- Authentication tests and the structure of bundles. (Q1603655) (← links)
- Analysis of security protocols based on challenge-response (Q2372525) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- Cryptographic Protocol Composition via the Authentication Tests (Q3617737) (← links)