Automated Model-Based Attack Tree Analysis Using HiP-HOPS.

Declan Whiting Ioannis Sorokos Yiannis Papadopoulos Gilbert Regan Eoin O'Carroll

Published in: IMBSA (2019)

Keyphrases

automated analysis
search algorithm
quantitative analysis
semi automated
database systems
data analysis
data driven
statistical analysis
index structure
tree structure