Yao, et al.. Network Security Analyzing and Modeling Based on Petri Net and Attack Tree for SDN. IEEE, 2016, doi:10.1109/iccnc.2016.7440631.