{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:40:05Z","timestamp":1750207205879,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:00:00Z","timestamp":1559001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund (FWF)","award":["28789-N32"],"award-info":[{"award-number":["28789-N32"]}]},{"name":"Shota Rustaveli National Science Foundation of Georgia","award":["FR17_439"],"award-info":[{"award-number":["FR17_439"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,28]]},"DOI":"10.1145\/3322431.3325416","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"173-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A Rule-based Approach to the Decidability of Safety of ABAC\u03b1"],"prefix":"10.1145","author":[{"given":"Mircea","family":"Marin","sequence":"first","affiliation":[{"name":"West University of Timisoara, Timisoara, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besik","family":"Dundua","sequence":"additional","affiliation":[{"name":"Tbilisi State University and International Black Sea University, Tbilisi, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"T. Ahmed and R. Sandhu. 2017. Safety of $rm ABAC_\u03b1 is Decidable. In Network and System Security Z. Yan R. Molva W. Mazurczyk and R. Kantola (Eds.). Springer International Publishing 257--272.  T. Ahmed and R. Sandhu. 2017. Safety of $rm ABAC_\u03b1 is Decidable. In Network and System Security Z. Yan R. Molva W. Mazurczyk and R. Kantola (Eds.). Springer International Publishing 257--272.","DOI":"10.1007\/978-3-319-64701-2_19"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31540-4_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30210-0_14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.12.002"},{"volume-title":"Proceedings of UNIF'05","author":"Kutsia T.","key":"e_1_3_2_1_7_1","unstructured":"T. Kutsia and M. Marin . 2005. Can context sequence matching be used for querying XML? . In Proceedings of UNIF'05 ,, L. Vigneron (Ed.). IEEE Computer Society, Nara, Japan, 77--92. T. Kutsia and M. Marin. 2005. Can context sequence matching be used for querying XML?. In Proceedings of UNIF'05,, L. Vigneron (Ed.). IEEE Computer Society, Nara, Japan, 77--92."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2005.61"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.16.151-168"},{"key":"e_1_3_2_1_10_1","first-page":"161","article-title":"Deduction and presentation in \u03c1Log","volume":"93","author":"Marin M.","year":"2004","unstructured":"M. Marin and F. Piroi . 2004 . Deduction and presentation in \u03c1Log . ENTCS , Vol. 93 (2004), 161 -- 182 . M. Marin and F. Piroi. 2004. Deduction and presentation in \u03c1Log. ENTCS, Vol. 93 (2004), 161--182.","journal-title":"ENTCS"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2015.2427834"},{"key":"e_1_3_2_1_13_1","volume-title":"The Mathematica Book","author":"Wolfram S.","unstructured":"S. Wolfram . 2003. The Mathematica Book 5 th ed.). Wolfram Media . S. Wolfram. 2003. The Mathematica Book 5th ed.). Wolfram Media.","edition":"5"}],"event":{"name":"SACMAT '19: The 24th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Toronto ON Canada","acronym":"SACMAT '19"},"container-title":["Proceedings of the 24th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325416","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:27Z","timestamp":1750206327000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":12,"alternative-id":["10.1145\/3322431.3325416","10.1145\/3322431"],"URL":"https:\/\/doi.org\/10.1145\/3322431.3325416","relation":{},"subject":[],"published":{"date-parts":[[2019,5,28]]},"assertion":[{"value":"2019-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}