Automated Generation of Attack Trees
automated generation and analysis of attack graphs .