{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:56Z","timestamp":1740099116879,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989372"},{"type":"electronic","value":"9783319989389"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98938-9_5","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T15:08:34Z","timestamp":1533740914000},"page":"69-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Efficiently Characterizing the Undefined Requests of a Rule-Based System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6361-1103","authenticated-orcid":false,"given":"Zheng","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8182-8429","authenticated-orcid":false,"given":"Jean-Claude","family":"Royer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-88808-6_4","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"V Zacharias","year":"2008","unstructured":"Zacharias, V.: Development and verification of rule based systems - a survey of developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 6\u201316. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88808-6_4"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1002\/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-C","volume":"16","author":"F Coenen","year":"2001","unstructured":"Coenen, F., Eaglestone, B., Ridley, M.J.: Verification, validation, and integrity issues in expert and database systems: two perspectives. Int. J. Intell. Syst. 16(3), 425\u2013447 (2001)","journal-title":"Int. J. Intell. Syst."},{"key":"5_CR3","unstructured":"Paschke, A.: Verification, validation and integrity of distributed and interchanged rule based policies and contracts in the semantic web. In: Semantic Web, 2nd International Semantic Web Policy Workshop (SWPW 2006). CEUR-WS.org (2006)"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.comnet.2011.09.014","volume":"56","author":"W Han","year":"2012","unstructured":"Han, W., Lei, C.: A survey on policy languages in network and security management. Comput. Netw. 56(1), 477\u2013489 (2012)","journal-title":"Comput. Netw."},{"issue":"18","key":"5_CR5","first-page":"1","volume":"105","author":"A Hanamsagar","year":"2014","unstructured":"Hanamsagar, A., Jane, N., Borate, B., Wasvand, A., Darade, S.: Firewall anomaly management: a survey. Int. J. Comput. Appl. 105(18), 1\u20135 (2014)","journal-title":"Int. J. Comput. Appl."},{"issue":"1","key":"5_CR6","first-page":"54","volume":"7","author":"M Aqib","year":"2015","unstructured":"Aqib, M., Shaikh, R.A.: Analysis and comparison of access control policies validation mechanisms. I.J. Comput. Netw. Inf. Secur. 7(1), 54\u201369 (2015)","journal-title":"I.J. Comput. Netw. Inf. Secur."},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10207-010-0106-1","volume":"9","author":"D Lin","year":"2010","unstructured":"Lin, D., Rao, P., Bertino, E., Li, N., Lobo, J.: Exam: a comprehensive environment for the analysis of access control policies. Int. J. Inf. Sec 9(4), 253\u2013273 (2010)","journal-title":"Int. J. Inf. Sec"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Hwang, J., Xie, T., Hu, V.C.: Detection of multiple-duty-related security leakage in access control policies. In: Secure Software Integration and Reliability Improvement, pp. 65\u201374. IEEE Computer Society (2009)","DOI":"10.1109\/SSIRI.2009.63"},{"issue":"4","key":"5_CR9","first-page":"511","volume":"89","author":"C Montangero","year":"2008","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based conflict detection for distributed policies. Fundamantae Informatica 89(4), 511\u2013538 (2008)","journal-title":"Fundamantae Informatica"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380564.1380569","volume":"11","author":"JY Halpern","year":"2008","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. ACM Trans. Inf. Syst. Secur. 11(4), 1\u201341 (2008)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E.C., Bandara, A.K.: Expressive policy analysis with enhanced system dynamicity. In: Li, W., Susilo, W., Tupakula, U.K., Safavi-Naini, R., Varadharajan, V. (eds.) Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, pp. 239\u2013250. ACM (2009)","DOI":"10.1145\/1533057.1533091"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-662-46666-7_7","volume-title":"Principles of Security and Trust","author":"F Turkmen","year":"2015","unstructured":"Turkmen, F., den Hartog, J., Ranise, S., Zannone, N.: Analysis of XACML policies with SMT. In: Focardi, R., Myers, A. (eds.) POST 2015. LNCS, vol. 9036, pp. 115\u2013134. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46666-7_7"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"24:1","DOI":"10.1145\/1805974.1805980","volume":"13","author":"Q Ni","year":"2010","unstructured":"Ni, Q., et al.: Privacy-aware role-based access control. ACM Trans. Inf. Syst. Secur. 13(3), 24:1\u201324:31 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Neri, M.A., Guarnieri, M., Magri, E., Mutti, S., Paraboschi, S.: Conflict detection in security policies using semantic web technology. In: Satellite Telecommunications (ESTEL), pp. 1\u20136. IEEE (2012)","DOI":"10.1109\/ESTEL.2012.6400092"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-31540-4_3","volume-title":"Data and Applications Security and Privacy XXVI","author":"A Armando","year":"2012","unstructured":"Armando, A., Ranise, S.: Automated and efficient analysis of role-based access control with attributes. In: Cuppens-Boulahia, N., Cuppens, F., Garcia-Alfaro, J. (eds.) DBSec 2012. LNCS, vol. 7371, pp. 25\u201340. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31540-4_3"},{"issue":"6","key":"5_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/TDSC.2013.18","volume":"10","author":"H Hu","year":"2013","unstructured":"Hu, H., Ahn, G.J., Kulkarni, K.: Discovery and resolution of anomalies in web access control policies. IEEE Trans. Dependable Sec. Comput. 10(6), 341\u2013354 (2013)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10207-016-0317-1","volume":"16","author":"RA Shaikh","year":"2017","unstructured":"Shaikh, R.A., Adi, K., Logrippo, L.: A data classification method for inconsistency and incompleteness detection in access control policy sets. Int. J. Inf. Sec. 16(1), 91\u2013113 (2017)","journal-title":"Int. J. Inf. Sec."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jnca.2016.12.001","volume":"80","author":"F Deng","year":"2017","unstructured":"Deng, F., Zhang, L.Y.: Elimination of policy conflict to improve the PDP evaluation performance. J. Netw. Comput. Appl. 80, 45\u201357 (2017)","journal-title":"J. Netw. Comput. Appl."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Xia, X.: A conflict detection approach for XACML policies on hierarchical resources. In: Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, pp. 755\u2013760. IEEE Computer Society (2012)","DOI":"10.1109\/GreenCom.2012.124"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-319-48965-0_22","volume-title":"Cryptology and Network Security","author":"J-C Royer","year":"2016","unstructured":"Royer, J.-C., Santana De Oliveira, A.: AAL and static conflict detection in policy. In: Foresti, S., Persiano, G. (eds.) CANS 2016. LNCS, vol. 10052, pp. 367\u2013382. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48965-0_22"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-38171-3_11","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"MH Liffiton","year":"2013","unstructured":"Liffiton, M.H., Malik, A.: Enumerating infeasibility: finding multiple MUSes quickly. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 160\u2013175. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38171-3_11"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Previti, A., Marques-Silva, J.: Partial MUS enumeration. In: 27th AAAI Conference on Artificial Intelligence, Bellevue, Washington, pp. 818\u2013825. AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8657"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-61482-3_11","volume-title":"Modelling Foundations and Applications","author":"H Wu","year":"2017","unstructured":"Wu, H.: Finding achievable features and constraint conflicts for inconsistent metamodels. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 179\u2013196. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61482-3_11"},{"key":"5_CR24","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-01187-0_17","volume-title":"E-Technologies: Innovation in an Open World","author":"K Adi","year":"2009","unstructured":"Adi, K., Bouzida, Y., Hattak, I., Logrippo, L., Mankovskii, S.: Typing for conflict detection in access control policies. In: Babin, G., Kropf, P., Weiss, M. (eds.) MCETECH 2009. LNBIP, vol. 26, pp. 212\u2013226. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01187-0_17"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Dunlop, N., Indulska, J., Raymond, K.: Methods for conflict resolution in policy-based management systems. In: Enterprise Distributed Object Computing Conference, pp. 98\u2013111. IEEE Computer Society (2003)","DOI":"10.1109\/EDOC.2003.1233841"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: International Conference on Software Engineering (2005)","DOI":"10.1145\/1062455.1062502"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T22:50:49Z","timestamp":1661727049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}