{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:40:57Z","timestamp":1725864057949},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458915"},{"type":"electronic","value":"9783319458922"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45892-2_6","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T04:32:31Z","timestamp":1472099551000},"page":"79-87","source":"Crossref","is-referenced-by-count":3,"title":["WRAD: Tool Support for Workflow Resiliency Analysis and Design"],"prefix":"10.1007","author":[{"given":"John C.","family":"Mace","sequence":"first","affiliation":[]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[]},{"given":"Aad","family":"van Moorsel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Crampton, J., Gutin, G., Watrigant, R.: An approach to parameterized resiliency problems using integer linear programming. CoRR, abs\/1605.08738 (2016)","DOI":"10.1007\/978-3-319-57586-5_15"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"dos Santos, D.R., Ponta, S.E., Ranise, S.: Modular synthesis of enforcement mechanisms for the workflow satisfiability problem: scalability and reusability. In: SACMAT 2016 (2016, to appear)","DOI":"10.1145\/2914642.2914649"},{"issue":"2","key":"6_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D Georgakopoulos","year":"1995","unstructured":"Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119\u2013153 (1995)","journal-title":"Distrib. Parallel Databases"},{"key":"6_CR4","volume-title":"Dynamic Programming and Markov Processes","author":"RA Howard","year":"1960","unstructured":"Howard, R.A.: Dynamic Programming and Markov Processes. MIT Press, Cambridge (1960)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/978-3-319-11203-9_20","volume-title":"Computer Security - ESORICS 2014","author":"JC Mace","year":"2014","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.P.A.: Quantitative workflow resiliency. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ICAIS 2014, Part I. LNCS, vol. 8712, pp. 344\u2013361. Springer, Heidelberg (2014)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/978-3-319-22264-6_16","volume-title":"Quantitative Evaluation of Systems","author":"JC Mace","year":"2015","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.P.A.: Impact of policy design on workflow resiliency computation time. In: Campos, J., Haverkort, B.R. (eds.) QEST 2015. LNCS, vol. 9259, pp. 244\u2013259. Springer, Heidelberg (2015)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.P.A.: Modelling user availability in workflow resiliency analysis. In: HotSoS 2015, pp. 1\u201310 (2015)","DOI":"10.1145\/2746194.2746201"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-319-23129-7_10","volume-title":"Software Engineering for Resilient Systems","author":"JC Mace","year":"2015","unstructured":"Mace, J.C., Morisset, C., van Moorsel, A.P.A.: Resiliency variance in workflows with choice. In: Fantechi, A., Pelliccione, P. (eds.) SERENE 2015. LNCS, vol. 9274, pp. 128\u2013143. Springer, Heidelberg (2015)"},{"issue":"3","key":"6_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.cose.2006.10.004","volume":"26","author":"GV Post","year":"2007","unstructured":"Post, G.V., Kagan, A.: Evaluating information security tradeoffs: restricting access can interfere with user tasks. Comput. Secur. 26(3), 229\u2013237 (2007)","journal-title":"Comput. Secur."},{"issue":"4","key":"6_CR11","doi-asserted-by":"crossref","first-page":"40:1","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Q Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability, resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur. 13(4), 40:1\u201340:35 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45892-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:43:16Z","timestamp":1657154596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45892-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458915","9783319458922"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45892-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}