2016
Automated Vulnerability Modeling and Verification for Penetration Testing Using Petri Nets.
[DOI]
Junchao Luan
,
Jian Wang
,
Mingfu Xue
Proceedings of the Cloud Computing and Security - Second International Conference, 2016