An Intelligent Technique for Generating Minimal Attack Graph
Efficient minimum-cost network hardening via exploit dependency graphs