A Logic-Based Attack Graph for Analyzing Network Security Risk Against Potential Attack | IEEE Conference Publication | IEEE Xplore