Cyber-Attack Modeling Analysis Techniques: An Overview
A planner-based approach to generate and analyze minimal attack graph