Multiple coordinated views for network attack graphs | Synapse