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

Declan Whiting et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics