Yi Yin, Yuichiro Tateiwa, Yun Wang, Yoshiaki Katayama, Naohisa Takahashi. An Inconsistency Detection Method for Security Policy and Firewall Policy Based on CSP Solver. In Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino, editors, Cloud Computing and Security - Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II. Volume 10603 of Lecture Notes in Computer Science, pages 147-161, Springer, 2017. [doi]
Abstract is missing.