{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:41:41Z","timestamp":1743007301818,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319196466"},{"type":"electronic","value":"9783319196473"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19647-3_13","type":"book-chapter","created":{"date-parts":[[2015,6,26]],"date-time":"2015-06-26T09:03:08Z","timestamp":1435309388000},"page":"138-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Karapetyan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Gagarin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gutin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,27]]},"reference":[{"key":"13_CR1","unstructured":"American National Standards Institute. ANSI INCITS 359-2004 for Role Based Access Control (2004)"},{"issue":"5","key":"13_CR2","doi-asserted-by":"crossref","first-page":"661","DOI":"10.3233\/JCS-140500","volume":"22","author":"DA Basin","year":"2014","unstructured":"Basin, D.A., Burri, S.J., Karjoth, G.: Obstruction-free authorisation enforcement: aligning security and business objectives. J. Comput. Secur. 22(5), 661\u2013698 (2014)","journal-title":"J. Comput. Secur."},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/300830.300837","volume":"2","author":"E Bertino","year":"1999","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorisation constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2(1), 65\u2013104 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-319-08016-1_5","volume-title":"Frontiers in Algorithmics","author":"D Cohen","year":"2014","unstructured":"Cohen, D., Crampton, J., Gagarin, A., Gutin, G., Jones, M.: Engineering algorithms for workflow satisfiability problem with user-independent constraints. In: Chen, J., Hopcroft, J.E., Wang, J. (eds.) FAW 2014. LNCS, vol. 8497, pp. 48\u201359. Springer, Heidelberg (2014)"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1613\/jair.4435","volume":"51","author":"D Cohen","year":"2014","unstructured":"Cohen, D., Crampton, J., Gagarin, A., Gutin, G., Jones, M.: Iterative plan construction for the workflow satisfiability problem. J. Artif. Intell. Res. 51, 555\u2013577 (2014)","journal-title":"J. Artif. Intell. Res."},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Cohen, D., Crampton, J., Gagarin, A., Gutin, G., Jones, M.: Algorithms for the workflow satisfiability problem engineered for counting constraints. J. Combin. Optim. 22 (2015, to apppear). doi:10.1007\/s10878-015-9877-7","DOI":"10.1007\/s10878-015-9877-7"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Crampton, J., Gutin, G., Karapetyan, D.: Valued workflow satisfiability problem. In: Proceedings of ACM Symposium on Access Control Models and Technologies (SACMAT), Vienna, Austria, 1\u20133 June. ACM (2015, to appear)","DOI":"10.1145\/2752952.2752961"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Crampton, J.: A reference monitor for workflow systems with constrained task execution. In: Ferrari, E., Ahn, G.J. (eds.) SACMAT, pp. 38\u201347. ACM (2005)","DOI":"10.1145\/1063979.1063986"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2487222.2487226","volume":"16","author":"J Crampton","year":"2013","unstructured":"Crampton, J., Gutin, G., Yeo, A.: On the parameterized complexity and kernelization of the workflow satisfiability problem. ACM Trans. Inf. Syst. Secur. 16(1), 4 (2013)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"13_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5559-1","volume-title":"Fundamentals of Parameterized Complexity","author":"RG Downey","year":"2013","unstructured":"Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity. Springer, London (2013)"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Karapetyan, D., Gutin, G., Gagarin, A.: Source codes of the Pattern Backtracking algorithm and the instance generator. doi:10.6084\/m9.figshare.1360237. Accessed 31 March 2015","DOI":"10.6084\/m9.figshare.1360237"},{"key":"13_CR12","unstructured":"Karapetyan, D., Gutin, G., Goldengorin, B.: Empirical evaluation of construction heuristics for the multidimensional assignment problem. In: Proceedings of London Algorithmics 2008: Theory and Practice, Texts in Algorithmics 11, pp. 107\u2013122. College Publications (2009)"},{"key":"13_CR13","first-page":"59","volume":"7","author":"D Le Berre","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The SAT4J library release 2.2. J. Satisf. Bool. Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisf. Bool. Model. Comput."},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Q Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorisation systems. ACM Trans. Inf. Syst. Secur. 13(4), 40 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."}],"container-title":["Lecture Notes in Computer Science","Frontiers in Algorithmics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19647-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T02:03:29Z","timestamp":1676945009000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19647-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319196466","9783319196473"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19647-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}