Generalized stochastic Petri Net model based security risk assessment of software defined networks | IEEE Conference Publication | IEEE Xplore