Fast Network Attack Modeling and Security Evaluation Based on Attack Graphs | River Publishers Journals & Magazine | IEEE Xplore