A Petri Net-based Method to Verify the Security of the SDN
Ying Ting Zhou, Yongqiang Bai, Peng Zhao · IOP Conference Series Earth and Environmental Science · 2019
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.