The following pages link to AVISPA (Q15706):
Displaying 15 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- Computing knowledge in security protocols under convergent equational theories (Q437033) (← links)
- Modeling and verifying ad hoc routing protocols (Q462483) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Multi-attacker protocol validation (Q540676) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Intruder deduction problem for locally stable theories with normal forms and inverses (Q683746) (← links)
- Termination criteria for tree automata completion (Q730470) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Injective synchronisation: An extension of the authentication hierarchy (Q860905) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- (Q4993342) (← links)
- Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives (Q5179050) (← links)
- Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model (Q5195250) (← links)
