An Intelligent Technique for Generating Minimal Attack Graph
automated generation and analysis of attack graphs .