An Inconsistency Detection Method for Security Policy and Firewall Policy Based on CSP Solver

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.