{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:51:19Z","timestamp":1743130279032,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319272429"},{"type":"electronic","value":"9783319272436"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27243-6_5","type":"book-chapter","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T05:54:26Z","timestamp":1449813266000},"page":"107-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Trustworthy Cloud Certification: A Model-Based Approach"],"prefix":"10.1007","author":[{"given":"Marco","family":"Anisetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio A.","family":"Ardagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"El Ioini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,12]]},"reference":[{"key":"5_CR1","unstructured":"OPTET Consortium: D3.1 initial concepts and abstractions to model trustworthiness (2013). \n                  http:\/\/www.optet.eu\/project\/"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C., Damiani, E.: A certification-based trust model for autonomic cloud computing systems. In: Proceedings of the IEEE Conference on Cloud Autonomic Computing (CAC 2014), London, UK, September 2014","DOI":"10.1109\/ICCAC.2014.8"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C., Damiani, E.: A test-based incremental security certification scheme for cloud-based systems. In: Proceedings of IEEE SCC 2015, New York, NY, USA, June\u2013July 2015","DOI":"10.1109\/SCC.2015.104"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2460383.2460384","volume":"7","author":"M Anisetti","year":"2013","unstructured":"Anisetti, M., Ardagna, C., Damiani, E., Saonara, F.: A test-based security certification scheme for web services. ACM Trans. Web 7(2), 1\u201341 (2013)","journal-title":"ACM Trans. Web"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Antunes, N., Vieira, M.: Enhancing penetration testing with attack signatures and interface monitoring for the detection of injection vulnerabilities in web services. In: 2011 IEEE International Conference on Services Computing (SCC), pp. 104\u2013111, July 2011","DOI":"10.1109\/SCC.2011.67"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2767005","volume":"48","author":"C Ardagna","year":"2015","unstructured":"Ardagna, C., Asal, R., Damiani, E., Vu, Q.H.: From security to assurance in the cloud: a survey. ACM Comput. Surv. 48(1), 1\u201350 (2015)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00607-013-0348-7","volume":"97","author":"C Ardagna","year":"2015","unstructured":"Ardagna, C., Jhawar, R., Piuri, V.: Dependability certification of services: a model-based approach. Computing 97(1), 51\u201378 (2015)","journal-title":"Computing"},{"issue":"6","key":"5_CR8","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"C\u201321","author":"A Biermann","year":"1972","unstructured":"Biermann, A., Feldman, J.: On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. Comput. C\u201321(6), 592\u2013597 (1972)","journal-title":"IEEE Trans. Comput."},{"key":"5_CR9","unstructured":"Certification infrastrUcture for MUlti-layer cloUd Services. \n                  http:\/\/www.cumulus-project.eu\/"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Cimato, S., Damiani, E., Zavatarelli, F., Menicocci, R.: Towards the certification of cloud services. In: Proceedings of the IEEE SERVICES 2013, Santa Clara, CA, USA, June\u2013July 2013","DOI":"10.1109\/SERVICES.2013.16"},{"key":"5_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-41205-9_1","volume-title":"Cyber Security and Privacy","author":"F Cerbo Di","year":"2013","unstructured":"Di Cerbo, F., Bisson, P., Hartman, A., Keller, S., Meland, P.H., Moffie, M., Mohammadi, N.G., Paulus, S., Short, S.: towards trustworthiness assurance in the cloud. In: Felici, M. (ed.) CSP EU FORUM 2013. CCIS, vol. 182, pp. 3\u201315. Springer, Heidelberg (2013)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/2192-113X-1-9","volume":"1","author":"F Doelitzscher","year":"2012","unstructured":"Doelitzscher, F., Reich, C., Knahl, M., Passfall, A., Clarke, N.: An agent based business aware incident detection system for cloud environments. J. Cloud Comput. 1(1), 1\u201319 (2012)","journal-title":"J. Cloud Comput."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-319-17199-9_3","volume-title":"Accountability and Security in the Cloud","author":"M Egea","year":"2015","unstructured":"Egea, M., Mahbub, K., Spanoudakis, G., Vieira, M.R.: A certification framework for cloud security properties: the monitoring path. In: Felici, M., Fern\u00e1ndez-Gago, C. (eds.) A4Cloud 2014. LNCS, vol. 8937, pp. 63\u201377. Springer, Heidelberg (2015)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ernst, M., Cockrell, J., Griswold, W., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 213\u2013224. ACM, New York, NY, USA (1999)","DOI":"10.1145\/302405.302467"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, pp. 621\u2013630. ACM, New York, NY, USA (2004)","DOI":"10.1145\/988672.988756"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Hudic, A., Tauber, M., Lorunser, T., Krotsiani, M., Spanoudakis, G., Mauthe, A., Weippl, E.: A multi-layer and multitenant cloud assurance evaluation methodology. In: 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom), pp. 386\u2013393, December 2014","DOI":"10.1109\/CloudCom.2014.85"},{"key":"5_CR17","unstructured":"Jianqiang, H., Changguo, G., Huaimin, W., Peng, Z.: Quality driven web services selection. In: IEEE International Conference on e-Business Engineering, 2005, ICEBE 2005, pp. 681\u2013688, October 2005"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Kaluvuri, S., Koshutanski, H., Di Cerbo, F., Mana, A.: Security assurance of services through digital security certificates. In: 2013 IEEE 20th International Conference on Web Services (ICWS), pp. 539\u2013546, June 2013","DOI":"10.1109\/ICWS.2013.78"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 501\u2013510. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-642-34026-0_7","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M Merten","year":"2012","unstructured":"Merten, M., Howar, F., Steffen, B., Pellicione, P., Tivoli, M.: Automated inference of models for black box systems based on interface descriptions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 79\u201396. Springer, Heidelberg (2012)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Munoz, A., M\u00e3na, A.: Bridging the gap between software certification and trusted computing for securing cloud computing. In: Proceedings of IEEE SERVICES 2013, Santa Clara, CA, USA, June 2013","DOI":"10.1109\/SERVICES.2013.15"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MIC.2011.98","volume":"15","author":"S Pearson","year":"2011","unstructured":"Pearson, S.: Toward accountability in the cloud. IEEE Internet Comput. 15(4), 64\u201369 (2011)","journal-title":"IEEE Internet Comput."},{"issue":"3","key":"5_CR23","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1016\/j.ijinfomgt.2013.11.002","volume":"34","author":"H Rasheed","year":"2014","unstructured":"Rasheed, H.: Data and infrastructure security auditing in cloud computing environments. Int. J. Inf. Manage. 34(3), 364\u2013368 (2014). ISSN: 0268-4012. \n                  http:\/\/dx.doi.org\/10.1016\/j.ijinfomgt.2013.11.002\n                  \n                , \n                  http:\/\/www.sciencedirect.com\/science\/article\/pii\/S026840121300145X","journal-title":"Int. J. Inf. Manage."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Ravindran, K.: Model-based engineering methods for certification of cloud-based network systems. In: 2013 Fifth International Conference on Communication Systems and Networks (COMSNETS), pp. 1\u20132, January 2013","DOI":"10.1109\/COMSNETS.2013.6465594"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Damiani, E., Mana, A.: Certifying services in cloud: the case for a hybrid, incremental and multi-layer approach. In: 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE), pp. 175\u2013176, October 2012","DOI":"10.1109\/HASE.2012.16"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/2408776.2408789","volume":"56","author":"A Sunyaev","year":"2013","unstructured":"Sunyaev, A., Schneider, S.: Cloud services certification. Commun. ACM 56(2), 33\u201336 (2013)","journal-title":"Commun. ACM"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Wu, C., Lee, Y.: Automatic saas test cases generation based on soa in the cloud service. In: 2013 IEEE 5th International Conference on Cloud Computing Technology and Science, pp. 349\u2013354 (2012)","DOI":"10.1109\/CloudCom.2012.6427576"}],"container-title":["Lecture Notes in Business Information Processing","Data-Driven Process Discovery and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27243-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,10]],"date-time":"2019-12-10T20:04:15Z","timestamp":1576008255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27243-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319272429","9783319272436"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27243-6_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}