{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:15:00Z","timestamp":1750997700942,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319685410"},{"type":"electronic","value":"9783319685427"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68542-7_13","type":"book-chapter","created":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T15:23:50Z","timestamp":1509549830000},"page":"147-161","source":"Crossref","is-referenced-by-count":4,"title":["An Inconsistency Detection Method for Security Policy and Firewall Policy Based on CSP Solver"],"prefix":"10.1007","author":[{"given":"Yi","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuichiro","family":"Tateiwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Katayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naohisa","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,2]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Yin, Y., Xu, X., Katayama, Y., Takahashi, N.: Inconsistency detection system for security policy and firewall policy. In: 2010 First International Conference on Networking and Computing, pp. 294\u2013297. IEEE (2011)","DOI":"10.1109\/IC-NC.2010.45"},{"key":"13_CR2","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-27326-1_18","volume-title":"Future Wireless Networks and Information Systems","author":"Y Yin","year":"2012","unstructured":"Yin, Y., Xu, J., Takahashi, N.: Verifying consistency between security policy and firewall policy by using a constraint satisfaction problem server. In: Zhang, Y. (ed.) Future Wireless Networks and Information Systems. LNEE, vol. 144, pp. 135\u2013145. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-27326-1_18"},{"key":"13_CR3","unstructured":"Sugar: a SAT-based Constraint Solver. http:\/\/bach.istc.kobe-u.ac.jp\/sugar\/"},{"key":"13_CR4","unstructured":"Tamura, N., Banbara, M.: Sugar: a CSP to SAT translator based on order encoding. In: Proceedings of the Second International CSP Solver Competition, pp. 65\u201369 (2008)"},{"key":"13_CR5","unstructured":"The MiniSat Page. http:\/\/minisat.se\/MiniSat.html"},{"key":"13_CR6","unstructured":"Syntax of Sugar CSP description. http:\/\/bach.istc.kobe-u.ac.jp\/sugar\/current\/docs\/syntax.html"},{"issue":"4","key":"13_CR7","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MIC.2010.29","volume":"14","author":"A Wool","year":"2010","unstructured":"Wool, A.: Trends in firewall configuration errors: measuring the holes in Swiss cheese. IEEE Internet Comput. 14(4), 58\u201365 (2010)","journal-title":"IEEE Internet Comput."},{"key":"13_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10371-6","volume-title":"Automated Firewall Analytics-Design, Configuration and Optimization","author":"E Al-Shaer","year":"2014","unstructured":"Al-Shaer, E.: Automated Firewall Analytics-Design, Configuration and Optimization. Springer International Publishing, Basel (2014). doi: 10.1007\/978-3-319-10371-6"},{"issue":"3","key":"13_CR9","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1109\/TDSC.2012.20","volume":"9","author":"H Hu","year":"2012","unstructured":"Hu, H., Ahn, G., Kulkarni, K.: Detecting and resolving firewall policy anomalies. IEEE Trans. Secure Comput. 9(3), 318\u2013331 (2012)","journal-title":"IEEE Trans. Secure Comput."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Samak, T.: Model checking firewall policy configurations. In: IEEE International Symposium on Policies for Distributed Systems and Networks, pp. 60\u201367. IEEE (2009)","DOI":"10.1109\/POLICY.2009.32"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Bouhoula, A., Yazidi, A.: A security policy query engine for fully automated resolution of anomalies in firewall configurations. In: IEEE 15th International Symposium on Network Computing and Applications, pp. 76\u201380 (2016)","DOI":"10.1109\/NCA.2016.7778596"},{"key":"13_CR12","first-page":"123","volume-title":"Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems","author":"S Matsumoto","year":"2009","unstructured":"Matsumoto, S., Bouhoula, A.: Automatic verification of firewall configuration with respect to security policy requirements. In: Corchado, E., Zunino, R., Gastaldo, P., Herrero, \u00c1. (eds.) Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, pp. 123\u2013130. Springer, Berlin (2009)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Youssef, N.B., Bouhoula, A., Jacquemard, F.: Automatic verification of conformance of firewall configurations to security policies. In: IEEE Symposium on Computers and Communications, pp. 526\u2013531. IEEE (2009)","DOI":"10.1109\/ISCC.2009.5202309"},{"key":"13_CR14","unstructured":"Dutertre, B., de Moura, L.: The YICES SMT Solver. http:\/\/gauss.ececs.uc.edu\/Courses\/c626\/lectures\/SMT\/tool-paper.pdf"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Ranathunga, D., Roughan, M., Kernick, P., Falkner, N.: Malachite: firewall policy comparison. In: 2016 IEEE Symposium on Computers and Communication, pp. 310\u2013317. IEEE (2016)","DOI":"10.1109\/ISCC.2016.7543759"},{"issue":"2","key":"13_CR16","first-page":"209","volume":"18","author":"CS Yuan","year":"2017","unstructured":"Yuan, C.S., Xia, Z.H., Sun, X.M.: Coverless image steganography based on SIFT and BOF. J. Internet Technol. 18(2), 209\u2013216 (2017)","journal-title":"J. Internet Technol."},{"issue":"17","key":"13_CR17","doi-asserted-by":"crossref","first-page":"4002","DOI":"10.1002\/sec.1582","volume":"9","author":"Q Liu","year":"2016","unstructured":"Liu, Q., Cai, W.D., Shen, J., Fu, Z.J., Liu, X.D., Linge, N.: A speculative approach to spatial-temporal efficiency with multi-objective optimization in a heterogeneous cloud environment. Secur. Commun. Netw. 9(17), 4002\u20134012 (2016)","journal-title":"Secur. Commun. Netw."},{"issue":"8","key":"13_CR18","doi-asserted-by":"crossref","first-page":"1283","DOI":"10.1002\/sec.864","volume":"7","author":"ZH Xia","year":"2014","unstructured":"Xia, Z.H., Wang, X.H., Sun, X.M., Wang, B.W.: Steganalysis of least significant bit matching using multi-order differences. Secur. Commun. Netw. 7(8), 1283\u20131291 (2014)","journal-title":"Secur. Commun. Netw."}],"container-title":["Lecture Notes in Computer Science","Cloud Computing and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68542-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T20:44:39Z","timestamp":1750970679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68542-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319685410","9783319685427"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68542-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}