A graph-based system for network-vulnerability analysis | Synapse