A taxonomy for attack graph generation and usage in network security
automated generation and analysis of attack graphs .