Pages that link to "Item:Q1603655"
From MaRDI portal
The following pages link to Authentication tests and the structure of bundles. (Q1603655):
Displaying 12 items.
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- An inductive approach to strand spaces (Q470008) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- 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)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- Joshua Guttman: pioneering strand spaces (Q2154021) (← 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)
- Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions (Q5262932) (← links)
