Tools for Generating and Analyzing Attack Graphs
automated generation and analysis of attack graphs .