A Petri Net-based Method to Verify the Security of the SDN

6th Annual 2018 International Conference on Geo-Spatial Knowledge and Intelligence

Zhou, Ying^1^2 ; Bai, Yongqiang^1^2 ; Zhao, Peng^3

Luoyang Electronic Equipment Test Center of China, China^1

Luoyang Henan Province, China^2

Beijing Jiaotong University, Beijing, China^3

关键词: Communication modeling;    Security analysis;    Security objectives;   

Others  :  https://iopscience.iop.org/article/10.1088/1755-1315/234/1/012057/pdf
DOI  :  10.1088/1755-1315/234/1/012057

来源: IOP

【 摘 要 】

Due to the widespread research on Software Defined Networks (SDNs), the network security has been duly noted. But most of those efforts ponder over SDN security from the protocol perspective. To the best of our knowledge, none of the attempts has paid attention to the security analysis and modeling of state and communication in the SDN. Therefore, this paper provides a different approach to security analysis. Our objective is to analyze the security via the transformation state of communication model. Additionally, we present the security analysis method based on token to explore the potential threatens. Finally, we analyze the SDN via the combination of the number of token and time series based on Petri Net, and give the results. Our results are very bright in using such models to analyze such security objectives.