I. . Kotenko and A. . Chechulin, “Fast Network Attack Modeling and Security Evaluation based on Attack Graphs”, JCSANDM, vol. 3, no. 1, pp. 27–46, Jun. 2014.