A Logic-Based Attack Graph for Analyzing Network Security Risk Against Potential Attack. - Feng Yi; Huang Yi Cai; Fu Zheng Xin (NAS, 2018)