Two Scalable Approaches to Analyzing Network Security Using Compact Attack Graphs | IEEE Conference Publication | IEEE Xplore