FlipNet: Modeling Covert and Persistent Attacks on Networked Resources
Efficient minimum-cost network hardening via exploit dependency graphs