{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:13Z","timestamp":1750308553901,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Royal Society (UK)","award":["Royal Society Wolfson Research Merit Award"],"award-info":[{"award-number":["Royal Society Wolfson Research Merit Award"]}]},{"name":"EPSRC (UK)","award":["EP\/H000968\/1","EP\/K005162\/1"],"award-info":[{"award-number":["EP\/H000968\/1","EP\/K005162\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1145\/2752952.2752961","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"3-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Valued Workflow Satisfiability Problem"],"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":"Daniel","family":"Karapetyan","sequence":"additional","affiliation":[{"name":"University of Nottingham, Nottingham, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/2295136.2295154"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29963-6_11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.21"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08016-1_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750438"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2006.04.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J.\n      Crampton R.\n      Crowston G.\n      Gutin M.\n      Jones and \n      M. S.\n      Ramanujan\n  . \n  Fixed-parameter tractability of workflow satisfiability in the presence of seniority constraints\n  . In M. R. Fellows X. Tan and B. Zhu editors FAW-AAIM volume \n  7924\n   of \n  Lecture Notes in Computer Science pages \n  198\n  --\n  209\n  . \n  Springer 2013\n  .  J. Crampton R. Crowston G. Gutin M. Jones and M. S. Ramanujan. Fixed-parameter tractability of workflow satisfiability in the presence of seniority constraints. In M. R. Fellows X. Tan and B. Zhu editors FAW-AAIM volume 7924 of Lecture Notes in Computer Science pages 198--209. Springer 2013.","DOI":"10.1007\/978-3-642-38756-2_21"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462410.2462419"},{"key":"e_1_3_2_1_11_1","volume-title":"Source codes of the pattern branch and bound algorithm for the valued workflow satisfiability problem. DOI: http:\/\/dx.doi.org\/10.6084\/m9.figshare.136747010.6084\/m9.figshare.1367470 retrieved","author":"Crampton J.","year":"2015","unstructured":"J. Crampton , G. Gutin , and D. Karapetyan . Source codes of the pattern branch and bound algorithm for the valued workflow satisfiability problem. DOI: http:\/\/dx.doi.org\/10.6084\/m9.figshare.136747010.6084\/m9.figshare.1367470 retrieved 5 April 2015 . 10.6084\/m9.figshare.136747010.6084 J. Crampton, G. Gutin, and D. Karapetyan. Source codes of the pattern branch and bound algorithm for the valued workflow satisfiability problem. DOI: http:\/\/dx.doi.org\/10.6084\/m9.figshare.136747010.6084\/m9.figshare.1367470 retrieved 5 April 2015."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487222.2487226"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990062"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0515-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/31.3.283"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1812664.1812676"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1774"},{"key":"e_1_3_2_1_18_1","volume-title":"FAW","volume":"2015","author":"Karapetyan D.","year":"2015","unstructured":"D. Karapetyan , A. Gagarin , and G. Gutin . Pattern backtracking algorithm for the workflow satisfiability problem. In Frontiers in Algorithmics , FAW 2015 , volume to appear of Lecture Notes in Computer Science. Springer, 2015 . D. Karapetyan, A. Gagarin, and G. Gutin. Pattern backtracking algorithm for the workflow satisfiability problem. In Frontiers in Algorithmics, FAW 2015, volume to appear of Lecture Notes in Computer Science. Springer, 2015."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800020109"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755719"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198566076.001.0001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133058.1133079"},{"key":"e_1_3_2_1_23_1","first-page":"631","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence -","volume":"1","author":"Schiex T.","year":"1995","unstructured":"T. Schiex , H. Fargier , and G. Verfaillie . Valued constraint satisfaction problems: Hard and easy problems . In Proceedings of the 14th International Joint Conference on Artificial Intelligence - Volume 1 , IJCAI'95, pages 631 -- 637 , San Francisco, CA, USA , 1995 . Morgan Kaufmann Publishers Inc. T. Schiex, H. Fargier, and G. Verfaillie. Valued constraint satisfaction problems: Hard and easy problems. In Proceedings of the 14th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI'95, pages 631--637, San Francisco, CA, USA, 1995. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880022.1880034"}],"event":{"name":"SACMAT '15: 20th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Vienna Austria","acronym":"SACMAT '15"},"container-title":["Proceedings of the 20th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2752952.2752961","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2752952.2752961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:52Z","timestamp":1750273432000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2752952.2752961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":24,"alternative-id":["10.1145\/2752952.2752961","10.1145\/2752952"],"URL":"https:\/\/doi.org\/10.1145\/2752952.2752961","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]},"assertion":[{"value":"2015-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}