9 citations · 18 across the 10 of their papers we have counts for
1 paper · 2 filters
Ítalo Oliveira, Stefano M. Nicoletti, Gal Engelberg +3
Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain…