FlipNet: Modeling Covert and Persistent Attacks on Networked Resources
Scalable, graph-based network vulnerability analysis