Security Analysis of SDN Access Control Protocol Based on ProVerif
Dexian Chang, Ning Zhu, Yingjie Yang · 2021 IEEE 3rd International Conference on Civil Aviation Safety and Information Technology (ICCASIT) · 2021
Aiming at the lack of effective formal security verification of SDN(Software Defined Network) access controi mechanism in software defined network, this paper introduces application calculus to model the process and security of typical SDN access control protocol, analyzes the confidentiality and entity authentication of the protocol based on its automation tool ProVerif, and optimizes and improves the security deficiency of the protocol, The improved protocol can meet the security requirements of SDN access control.