Yi Yin, Yuichiro Tateiwa, Xiaojun Qian, Qian Gao, Lingling Shen, Guoqiang Zhang. Inconsistency Detecting and Resolving for Security Policy and IPv6 Firewall Policy. In Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence, CSAI 2023, Beijing, China, December 8-10, 2023. pages 91-98, ACM, 2023. [doi]
Abstract is missing.