Two Scalable Analyses of Compact Attack Graphs for Defending Network Security | IEEE Conference Publication | IEEE Xplore