{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:19:59Z","timestamp":1725812399296},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135175"},{"type":"electronic","value":"9783319135182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13518-2_9","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T10:51:00Z","timestamp":1417431060000},"page":"121-135","source":"Crossref","is-referenced-by-count":3,"title":["The Aniketos Service Composition Framework"],"prefix":"10.1007","author":[{"given":"Achim D.","family":"Brucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Malmignati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madjid","family":"Merabti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"3","volume":"121","author":"W. Aalst van der","year":"2005","unstructured":"van der Aalst, W., de Medeiros, A.: Process mining and security: Detecting anomalous process executions and checking process conformance. ENTCS\u00a0121, 3\u201321 (2005)","journal-title":"ENTCS"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-78743-3_4","volume-title":"Fundamental Approaches to Software Engineering","author":"W.M.P. Aalst van der","year":"2008","unstructured":"van der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., La Rosa, M., Mendling, J.: Correctness-preserving configuration of business process models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 46\u201361. Springer, Heidelberg (2008)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-22444-7_13","volume-title":"Security and Trust Management","author":"R. Accorsi","year":"2011","unstructured":"Accorsi, R., Wonnemann, C.: inDico: Information flow analysis of business processes for confidentiality requirements. In: Cuellar, J., Lopez, J., Barthe, G., Pretschner, A. (eds.) STM 2010. LNCS, vol.\u00a06710, pp. 194\u2013209. Springer, Heidelberg (2011)"},{"key":"9_CR4","unstructured":"Aniketos: Deliverable 5.1: Aniketos platform design and platform basis implementation (2011)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-19125-1_3","volume-title":"Engineering Secure Software and Systems","author":"W. Arsac","year":"2011","unstructured":"Arsac, W., Compagna, L., Pellegrino, G., Ponta, S.E.: Security validation of business processes via model-checking. In: Erlingsson, \u00da., Wieringa, R., Zannone, N. (eds.) ESSoS 2011. LNCS, vol.\u00a06542, pp. 29\u201342. Springer, Heidelberg (2011)"},{"issue":"5","key":"9_CR6","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/j.infsof.2008.05.011","volume":"51","author":"D. Basin","year":"2009","unstructured":"Basin, D., Clavel, M., Doser, J., Egea, M.: Automated analysis of security-design models. Information and Software Technology\u00a051(5), 815\u2013831 (2009)","journal-title":"Information and Software Technology"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Brucker, A.D., Br\u00fcgger, L., Kearney, P., Wolff, B.: An approach to modular and testable security models of real-world health-care applications. In: SACMAT, pp. 133\u2013142. ACM Press (2011)","DOI":"10.1145\/1998441.1998461"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11880240_22","volume-title":"Model Driven Engineering Languages and Systems","author":"A.D. Brucker","year":"2006","unstructured":"Brucker, A.D., Doser, J., Wolff, B.: A model transformation semantics and analysis methodology for secureUML. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Brucker, A.D., Hang, I.: Secure and compliant implementation of business process-driven systems. In: Rosa, M.L., Soffer, P. (eds.) Joint Workshop on Security in Business Processes (SBP). LNBIP, vol.\u00a0132, pp. 662\u2013674. Springer, Heidelberg (1982)","DOI":"10.1007\/978-3-642-36285-9_66"},{"key":"9_CR10","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. Tech. rep., W3C (2001)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Compagna, L., Guilleminot, P., Brucker, A.D.: Business process compliance via security validation as a service. In: Oriol, M., Penix, J. (eds.) Testing Tools Track of ICST. IEEE Computer Society (2013)","DOI":"10.1109\/ICST.2013.63"},{"issue":"12","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information & Software Technology"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Elshaafi, H., McGibney, J., Botvich, D.: Trustworthiness monitoring and prediction of composite services. In: ISCC, pp. 580\u2013587 (2012)","DOI":"10.1109\/ISCC.2012.6249359"},{"key":"9_CR14","unstructured":"Jorstad, N., Landgrave, T.S.: Cryptographic algorithm metrics. In: 20th National Information Systems Security Conference (1997)"},{"issue":"5","key":"9_CR15","doi-asserted-by":"crossref","first-page":"409","DOI":"10.3414\/ME9122","volume":"47","author":"J. J\u00fcrjens","year":"2008","unstructured":"J\u00fcrjens, J., Rumm, R.: Model-based security analysis of the german health card architecture. Methods Inf Med\u00a047(5), 409\u2013416 (2008)","journal-title":"Methods Inf Med"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-45800-X_33","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"T. Lodderstedt","year":"2002","unstructured":"Lodderstedt, T., Basin, D., Doser, J.: SecureUML: A UML-based modeling language for model-driven security. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 426\u2013441. Springer, Heidelberg (2002)"},{"key":"9_CR17","unstructured":"M\u00fclle, J., von Stackelberg, S., B\u00f6hm, K.: A security language for BPMN process models. Tech. rep., University Karlsruhe, KIT (2011)"},{"key":"9_CR18","unstructured":"OASIS: eXtensible Access Control Markup Language (XACML), version 2.0 (2005), \n                    \n                      http:\/\/docs.oasis-open.org\/xacml\/2.0\/XACML-2.0-OS-NORMATIVE.zip"},{"key":"9_CR19","unstructured":"Object Management Group: Business process model and notation bpmn, version 2.0 (2011), Available as omg document formal\/2011-01-03"},{"key":"9_CR20","unstructured":"Paja, E., Dalpiaz, F., Poggianella, M., Roberti, P., Giorgini, P.: Modelling security requirements in socio-technical systems with sts-tool. In: Kirikova, M., Stirna, J. (eds.) CAiSE Forum, vol.\u00a0855, pp. 155\u2013162 (2012)"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/ietisy\/e90-d.4.745","volume":"E90-D","author":"A. Rodr\u00edguez","year":"2007","unstructured":"Rodr\u00edguez, A., Fern\u00e1ndez-Medina, E., Piattini, M.: A BPMN extension for the modeling of security requirements in business processes. IEICE - Trans. Inf. Syst.\u00a0E90-D, 745\u2013752 (2007)","journal-title":"IEICE - Trans. Inf. Syst."},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/11555827_5","volume-title":"Computer Security \u2013 ESORICS 2005","author":"K. Sohr","year":"2005","unstructured":"Sohr, K., Ahn, G.-J., Gogolla, M., Migge, L.: Specification and validation of authorisation constraints using UML and OCL. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 64\u201379. Springer, Heidelberg (2005)"},{"issue":"1","key":"9_CR23","first-page":"662","volume":"15","author":"R. Welke","year":"2011","unstructured":"Welke, R., Hirschheim, R., Schwarz, A.: Service-oriented architecture maturity. Computer\u00a015(1), 662\u2013674 (2011)","journal-title":"Computer"},{"issue":"4","key":"9_CR24","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s00766-010-0103-y","volume":"15","author":"C. Wolter","year":"2010","unstructured":"Wolter, C., Meinel, C.: An approach to capture authorisation requirements in business processes. Requir. Eng.\u00a015(4), 359\u2013373 (2010)","journal-title":"Requir. Eng."},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-75183-0_5","volume-title":"Business Process Management","author":"C. Wolter","year":"2007","unstructured":"Wolter, C., Schaad, A.: Modeling of task-based authorization constraints in BPMN. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"9_CR26","unstructured":"Zhou, B., Arabo, A., Drew, O., Llewellyn-Jones, D., Merabti, M., Shi, Q., Waller, A., Craddock, R., Jones, G., Arnold, K.L.Y.: Data flow security analysis for system-of-systems in a public security incident. In: ACSF, pp. 8\u201314 (2008)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Zhou, B., Drew, O., Arabo, A., Llewellyn-Jones, D., Kifayat, K., Merabti, M., Shi, Q., Craddock, R., Waller, A., Jones, G.: System-of-systems boundary check in a public event scenario. In: SoSE (2010)","DOI":"10.1109\/SYSOSE.2010.5544013"},{"key":"9_CR28","unstructured":"Zhou, B., Llewellyn-Jones, D., Shi, Q., Asim, M., Merabti, M., Lamb, D.: Secure service composition adaptation based on simulated annealing. In: ACSAC, pp. 49\u201355 (2012)"}],"container-title":["Lecture Notes in Computer Science","Secure and Trustworthy Service Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13518-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T20:53:28Z","timestamp":1559076808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13518-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135175","9783319135182"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13518-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}