Cybersecurity Strategies: The QuERIES Methodology
automated generation and analysis of attack graphs .