Formal Modeling and Factor Analysis for Vulnerability Propagation Oriented to SDN
Wang Jian1, Zhao Guosheng2, Zhao Zhongnan1, Li Ke1
1(College of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150080);2(College of Computer Science and Information Engineering, Harbin Normal University, Harbin 150025)
Wang Jian, Zhao Guosheng, Zhao Zhongnan, Li Ke. Formal Modeling and Factor Analysis for Vulnerability Propagation Oriented to SDN[J]. Journal of Computer Research and Development, 2018, 55(10): 2256-2268.