{"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":1750207205684,"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":"Leverhulme Trust","award":["RPG-2018-161"],"award-info":[{"award-number":["RPG-2018-161"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,28]]},"DOI":"10.1145\/3322431.3325418","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"179-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Bounded and Approximate Strong Satisfiability in Workflows"],"prefix":"10.1145","author":[{"given":"Jason","family":"Crampton","sequence":"first","affiliation":[{"name":"Royal Holloway, University of London, Egham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gutin","sequence":"additional","affiliation":[{"name":"Royal Holloway, University of London, Egham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diptapriyo","family":"Majumdar","sequence":"additional","affiliation":[{"name":"Royal Holloway, University of London, Egham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ANSI INCITS 359--2004 for Role Based Access Control","author":"American National Standards Institute.","year":"2004","unstructured":"American National Standards Institute. ANSI INCITS 359--2004 for Role Based Access Control , 2004 . American National Standards Institute. ANSI INCITS 359--2004 for Role Based Access Control, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Digraphs - theory, algorithms and applications","author":"Bang-Jensen J.","year":"2002","unstructured":"Bang-Jensen , J. , and Gutin , G . Digraphs - theory, algorithms and applications . Springer , 2002 . Bang-Jensen, J., and Gutin, G. Digraphs - theory, algorithms and applications. Springer, 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140500"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750438"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462410.2462419"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2752952.2752961"},{"key":"e_1_3_2_1_7_1","volume-title":"Bounded and approximate strong satisfiability in workflows. CoRR abs\/1904.07234","author":"Crampton J.","year":"2019","unstructured":"Crampton , J. , Gutin , G. , and Majumdar , D . Bounded and approximate strong satisfiability in workflows. CoRR abs\/1904.07234 ( 2019 ). Crampton, J., Gutin, G., and Majumdar, D. Bounded and approximate strong satisfiability in workflows. CoRR abs\/1904.07234 (2019)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078861.3078866"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2815661"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880022.1880034"},{"key":"e_1_3_2_1_12_1","volume-title":"Future Strategies Incorporated","author":"White S.","year":"2008","unstructured":"White , S. , and Miers , D . BPMN Modeling and Reference Guide: Understanding and Using BPMN . Future Strategies Incorporated , 2008 . White, S., and Miers, D. BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Incorporated, 2008."}],"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.3325418","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325418","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.3325418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":12,"alternative-id":["10.1145\/3322431.3325418","10.1145\/3322431"],"URL":"https:\/\/doi.org\/10.1145\/3322431.3325418","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"}}]}}