Automated generation of attack trees with optimal shape and labelling

Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasuac +1

This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks…