Automated Generation of Attack Trees
Foundations of attack-defense trees