Junchao Luan, Jian Wang, Mingfu Xue. Automated Vulnerability Modeling and Verification for Penetration Testing Using Petri Nets. In Xingming Sun, Alex X. Liu, Han-Chieh Chao, Elisa Bertino, editors, Cloud Computing and Security - Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II. Volume 10040 of Lecture Notes in Computer Science, pages 71-82, 2016. [doi]
Abstract is missing.