Kotenko, I. .; Chechulin, A. . Fast Network Attack Modeling and Security Evaluation Based on Attack Graphs. JCSANDM 2014, 3, 27-46.