{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T07:18:13Z","timestamp":1782371893819,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T00:00:00Z","timestamp":1718755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2020-05238"],"award-info":[{"award-number":["RGPIN-2020-05238"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,19]]},"DOI":"10.1145\/3626232.3653265","type":"proceedings-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T18:20:25Z","timestamp":1718043625000},"page":"403-414","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Mining Domain-Based Policies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-3089-8438","authenticated-orcid":false,"given":"Si","family":"Zhang","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Calgary, Calgary, Alberta, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7974-3653","authenticated-orcid":false,"given":"Philip W. L.","family":"Fong","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Calgary, Calgary, Alberta, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.22"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381991.3396225"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1995.398923"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63844"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542207.1542238"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205977.3205987"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA336"},{"key":"e_1_3_2_1_8_1","series-title":"CEUR Workshop Proceedings","volume-title":"SAT-style. In Proceedings of IWSCSC co-located with ISSAC","author":"Brain M.","year":"2017","unstructured":"M. Brain, J. H. Davenport, and A. Griggio. Benchmarking solvers, SAT-style. In Proceedings of IWSCSC co-located with ISSAC, volume 1974 of CEUR Workshop Proceedings. CEUR-WS.org, 2017."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04444-1_42"},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2009","unstructured":"T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms, 3rd Edition. MIT Press, 2009.","edition":"3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3532105.3535024"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47993-7_14"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888903000559"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1943513.1943539"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3322431.3325098"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/578533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1995.1047"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of AFIPS Spring Joint Computer Conference","volume":"40","author":"Graham G. S.","year":"1972","unstructured":"G. S. Graham and P. J. Denning. Protection: principles and practice. In Proceedings of AFIPS Spring Joint Computer Conference, volume 40 of AFIPS Conference Proceedings, pages 417--429. AFIPS, 1972."},{"key":"e_1_3_2_1_19_1","volume-title":"The core of a graph. Discret. Math., 109(1--3):117--126","author":"Hell P.","year":"1992","unstructured":"P. Hell and J. Ne?et?il. The core of a graph. Discret. Math., 109(1--3):117--126, 1992."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198528173.001.0001"},{"issue":"2","key":"e_1_3_2_1_21_1","first-page":"85","volume":"48","author":"Hu V. C.","year":"2015","unstructured":"V. C. Hu, D. R. Kuhn, and D. F. Ferraiolo. Attribute-based access control. Computer, 48(2):85--88, 2015.","journal-title":"Attribute-based access control. Computer"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190116"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3897.001.0001"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2613087.2613101"},{"key":"e_1_3_2_1_26_1","volume-title":"ACM SIGOPS Oper. Syst. Rev., 8(1):18--24","author":"Lampson B. W.","year":"1974","unstructured":"B. W. Lampson. Protection. ACM SIGOPS Oper. Syst. Rev., 8(1):18--24, 1974."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455526.1455532"},{"issue":"3","key":"e_1_3_2_1_28_1","first-page":"455","volume":"24","author":"Lipton R. J.","year":"1977","unstructured":"R. J. Lipton and L. Snyder. A linear time algorithm for deciding subject security. J. ACM, 24(3):455--464, 1977.","journal-title":"A linear time algorithm for deciding subject security. J. ACM"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2871148"},{"issue":"2","key":"e_1_3_2_1_30_1","first-page":"38","volume":"29","author":"Sandhu R. S.","year":"1996","unstructured":"R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman. Role-based access control models. Computer, 29(2):38--47, 1996.","journal-title":"Role-based access control models. Computer"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_32_1","first-page":"440","volume-title":"Proceedings of the 1992 AAAI Conference on Artificial Intelligence (AAAI'1992)","author":"Selman B.","year":"1992","unstructured":"B. Selman, H. Levesque, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the 1992 AAAI Conference on Artificial Intelligence (AAAI'1992), pages 440--446, 1992."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90069-6"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1266840.1266870"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542207.1542213"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2369048"}],"event":{"name":"CODASPY '24: Fourteenth ACM Conference on Data and Application Security and Privacy","location":"Porto Portugal","acronym":"CODASPY '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626232.3653265","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626232.3653265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T19:48:31Z","timestamp":1755892111000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626232.3653265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,19]]},"references-count":36,"alternative-id":["10.1145\/3626232.3653265","10.1145\/3626232"],"URL":"https:\/\/doi.org\/10.1145\/3626232.3653265","relation":{},"subject":[],"published":{"date-parts":[[2024,6,19]]},"assertion":[{"value":"2024-06-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}