{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:09Z","timestamp":1750220709073,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T00:00:00Z","timestamp":1591747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,10]]},"DOI":"10.1145\/3381991.3395616","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T04:34:57Z","timestamp":1590726897000},"page":"145-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Benchmarking UAQ Solvers"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgia","family":"Gazzarata","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatih","family":"Turkmen","sequence":"additional","affiliation":[{"name":"University of Groningen, Groningen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"F. Turkmen A. Armando G. Gazzarata. [n.d.]. Benchmarking UAQ Solvers. https:\/\/github.com\/GioGazza\/uaq_prolem\/tree\/master\/publications . Extension of paper accepted at SACMAT 2020.  F. Turkmen A. Armando G. Gazzarata. [n.d.]. Benchmarking UAQ Solvers. https:\/\/github.com\/GioGazza\/uaq_prolem\/tree\/master\/publications . Extension of paper accepted at SACMAT 2020.","DOI":"10.1145\/3381991.3395616"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133601.2133631"},{"volume-title":"CPAIOR 2019, Thessaloniki, Greece, June 4--7, 2019, Proceedings. 39--56","year":"2019","author":"Berg Jeremias","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1813084.1813140"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S. Du and J. B. D. Joshi. 2006. Supporting authorization query and inter-domain role mapping in presence of hybrid role hierarchy. In SACMAT. 228--236.  S. Du and J. B. D. Joshi. 2006. Supporting authorization query and inter-domain role mapping in presence of hybrid role hierarchy. In SACMAT. 228--236.","DOI":"10.1145\/1133058.1133090"},{"key":"e_1_3_2_1_6_1","unstructured":"Giorgia Gazzarata. 2020. Extensions and Experimental Evaluation of SAT-based solvers for the UAQ problem . Ph.D. Dissertation. University of Genova (Italy). https:\/\/github.com\/GioGazza\/uaq_prolem\/tree\/master\/publications  Giorgia Gazzarata. 2020. Extensions and Experimental Evaluation of SAT-based solvers for the UAQ problem . Ph.D. Dissertation. University of Genova (Italy). https:\/\/github.com\/GioGazza\/uaq_prolem\/tree\/master\/publications"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2013.08.005"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2014.10.003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.01.010"},{"key":"e_1_3_2_1_10_1","unstructured":"Nima Mousavi. 2014. Algorithmic Problems in Access Control . Ph.D. Dissertation. University of Waterloo Canada.  Nima Mousavi. 2014. Algorithmic Problems in Access Control . Ph.D. Dissertation. University of Waterloo Canada."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Nima Mousavi and Mahesh~V. Tripunitara. 2012. Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC). In NSS. 516--529.  Nima Mousavi and Mahesh~V. Tripunitara. 2012. Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC). In NSS. 516--529.","DOI":"10.1007\/978-3-642-34601-9_39"},{"key":"e_1_3_2_1_12_1","unstructured":"National~Institute of Standards and Technology (NIST). 2004. Role-Based Access Control. American National Standards Institute Inc. (2004).  National~Institute of Standards and Technology (NIST). 2004. Role-Based Access Control. American National Standards Institute Inc. (2004)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"C. Sinz. 2005. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. In Principles and Practice of Constraint Programming (CP). 827--831.  C. Sinz. 2005. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. In Principles and Practice of Constraint Programming (CP). 827--831.","DOI":"10.1007\/11564751_73"},{"key":"e_1_3_2_1_14_1","unstructured":"Fatih Turkmen. 2012. Exploring Dynamic Constraint Enforcement and Efficiency in Access Control . Ph.D. Dissertation. University of Trento Italy.  Fatih Turkmen. 2012. Exploring Dynamic Constraint Enforcement and Efficiency in Access Control . Ph.D. Dissertation. University of Trento Italy."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"G. T. Wickramaarachchi W. H. Qardaji and N. Li. 2009. An efficient framework for user authorization queries in RBAC systems. In SACMAT . 23--32.  G. T. Wickramaarachchi W. H. Qardaji and N. Li. 2009. An efficient framework for user authorization queries in RBAC systems. In SACMAT . 23--32.","DOI":"10.1145\/1542207.1542213"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Y. Zhang and J. B. D. Joshi. 2008. UAQ: a framework for user authorization query processing in RBAC extended with hybrid hierarchy and constraints. In SACMAT. 83--92.  Y. Zhang and J. B. D. Joshi. 2008. UAQ: a framework for user authorization query processing in RBAC extended with hybrid hierarchy and constraints. In SACMAT. 83--92.","DOI":"10.1145\/1377836.1377850"}],"event":{"name":"SACMAT '20: The 25th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Barcelona Spain","acronym":"SACMAT '20"},"container-title":["Proceedings of the 25th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381991.3395616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381991.3395616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:08Z","timestamp":1750199588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381991.3395616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,10]]},"references-count":16,"alternative-id":["10.1145\/3381991.3395616","10.1145\/3381991"],"URL":"https:\/\/doi.org\/10.1145\/3381991.3395616","relation":{},"subject":[],"published":{"date-parts":[[2020,6,10]]},"assertion":[{"value":"2020-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}