Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula. Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. In Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao, editors, Testbeds and Research Infrastructures for the Development of Networks and Communications - 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings. Volume 270 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 96-112, Springer, 2018. [doi]
Abstract is missing.