Topological analysis of network attack vulnerability | Synapse