{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:48:55Z","timestamp":1725796135965},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662439357"},{"type":"electronic","value":"9783662439364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43936-4_14","type":"book-chapter","created":{"date-parts":[[2014,6,27]],"date-time":"2014-06-27T08:05:04Z","timestamp":1403856304000},"page":"211-226","source":"Crossref","is-referenced-by-count":6,"title":["Dynamic Workflow Adjustment with Security Constraints"],"prefix":"10.1007","author":[{"given":"Haibing","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanjiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1215\/ijm\/1256049011","volume":"21","author":"K. Appel","year":"1977","unstructured":"Appel, K., Haken, W.: Every planar map is four colorable. Illinois Journal of Mathematics\u00a021(3), 429\u2013567 (1977)","journal-title":"Illinois Journal of Mathematics"},{"key":"14_CR2","first-page":"48","volume-title":"Proceedings of the 8th ACM Conference on Computer and Communications Security, CCS 2001","author":"V. Atluri","year":"2001","unstructured":"Atluri, V., Chun, S.A., Mazzoleni, P.: A chinese wall security model for decentralized workflow systems. In: Proceedings of the 8th ACM Conference on Computer and Communications Security, CCS 2001, pp. 48\u201357. ACM, New York (2001)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/1063979.1063990","volume-title":"Proceedings of the Tenth ACM Symposium on Access Control Models and Technologies, SACMAT 2005","author":"V. Atluri","year":"2005","unstructured":"Atluri, V., Warner, J.: Supporting conditional delegation in secure workflow management systems. In: Proceedings of the Tenth ACM Symposium on Access Control Models and Technologies, SACMAT 2005, pp. 49\u201358. ACM, New York (2005)"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1287\/ijoc.1110.0461","volume":"24","author":"X. Bai","year":"2012","unstructured":"Bai, X., Gopal, R., Nunez, M., Zhdanov, D.: On the prevention of fraud and privacy exposure in process information flow. INFORMS J. on Computing\u00a024(3), 416\u2013432 (2012)","journal-title":"INFORMS J. on Computing"},{"key":"14_CR5","first-page":"93","volume-title":"Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, SACMAT 2012","author":"D. Basin","year":"2012","unstructured":"Basin, D., Burri, S.J., Karjoth, G.: Optimal workflow-aware authorizations. In: Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, SACMAT 2012, pp. 93\u2013102. ACM, New York (2012)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/1063979.1063986","volume-title":"Proceedings of the Tenth ACM Symposium on Access Control Models and Technologies, SACMAT 2005","author":"J. Crampton","year":"2005","unstructured":"Crampton, J.: A reference monitor for workflow systems with constrained task execution. In: Proceedings of the Tenth ACM Symposium on Access Control Models and Technologies, SACMAT 2005, pp. 38\u201347. ACM, New York (2005)"},{"issue":"7","key":"14_CR7","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Li, N., Tripunitara, M.V., Bizri, Z.: On mutually exclusive roles and separation-of-duty. ACM Trans. Inf. Syst. Secur. 10(2) (May 2007)","DOI":"10.1145\/1237500.1237501"},{"key":"14_CR9","first-page":"113","volume-title":"Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006","author":"N. Li","year":"2006","unstructured":"Li, N., Tripunitara, M.V., Wang, Q.: Resiliency policies in access control. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, pp. 113\u2013123. ACM, New York (2006)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Lu, H., Vaidya, J., Atluri, V.: Optimal boolean matrix decomposition: Application to role engineering. In: IEEE 24th International Conference on Data Engineering, pp. 297\u2013306 (2008)","DOI":"10.1109\/ICDE.2008.4497438"},{"issue":"5","key":"14_CR11","first-page":"655","volume":"9","author":"H. Lu","year":"2012","unstructured":"Lu, H., Vaidya, J., Atluri, V., Hong, Y.: Constraint-aware role mining via extended boolean matrix decomposition. IEEE Transactions on Dependable and Secure Computing\u00a09(5), 655\u2013669 (2012)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient sat solver. In: Proceedings of the 38th Annual Design Automation Conference, DAC 2001, pp. 530\u2013535. ACM (2001)","DOI":"10.1145\/378239.379017"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer\u00a029(2), 38\u201347 (1996)","journal-title":"Computer"},{"key":"14_CR14","unstructured":"Silva, J.A.P.M., Sakallah, K.A.: Grasp: a new search algorithm for satisfiability. In: Proceedings of the 1996 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 1996, pp. 220\u2013227. IEEE Computer Society (1996)"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1008293.1008294","volume":"5","author":"L. Stockmeyer","year":"1973","unstructured":"Stockmeyer, L.: Planar 3-colorability is polynomial complete. SIGACT News\u00a05(3), 19\u201325 (1973)","journal-title":"SIGACT News"},{"issue":"2","key":"14_CR16","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/JCS-2009-0341","volume":"17","author":"J. Vaidya","year":"2009","unstructured":"Vaidya, J., Atluri, V., Guo, Q., Lu, H.: Edge-rmp: Minimizing administrative assignments for role-based access control. Journal of Computer Security\u00a017(2), 211\u2013235 (2009)","journal-title":"Journal of Computer Security"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur.\u00a013(4), 40:1\u201340:35 (2010)","DOI":"10.1145\/1880022.1880034"}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security and Privacy XXVIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43936-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T20:15:13Z","timestamp":1565554513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43936-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662439357","9783662439364"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43936-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}