FlipNet: Modeling Covert and Persistent Attacks on Networked Resources
A graph-based system for network-vulnerability analysis