Pages that link to "Item:Q5179050"
From MaRDI portal
The following pages link to Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives (Q5179050):
Displaying 3 items.
- An attack-finding algorithm for security protocols. (Q1850665) (← links)
- Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions (Q2119976) (← links)
- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols (Q3184787) (← links)