{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:46Z","timestamp":1750220086896,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EC H2020","award":["830927"],"award-info":[{"award-number":["830927"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,23]]},"DOI":"10.1145\/3538969.3539012","type":"proceedings-article","created":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T23:41:40Z","timestamp":1660779700000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Bridging the Gap Between Certification and Software Development"],"prefix":"10.1145","author":[{"given":"Claudio A.","family":"Ardagna","sequence":"first","affiliation":[{"name":"Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Bena","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Universit\u00e0 degli Studi di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon Mart\u00edn","family":"de Pozuelo","sequence":"additional","affiliation":[{"name":"CaixaBank, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS53863.2021.00068"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2012.53"},{"key":"e_1_3_2_1_3_1","article-title":"A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification","volume":"13","author":"Anisetti Marco","year":"2020","unstructured":"Marco Anisetti, Claudio\u00a0Agostino Ardagna, Ernesto Damiani, and Filippo Gaudenzi. 2020. A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification. IEEE Transactions on Services Computing (TSC) 13, 1 (2020).","journal-title":"IEEE Transactions on Services Computing (TSC)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297662.3365827"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2767005"},{"key":"e_1_3_2_1_6_1","article-title":"Certification-Based Cloud Adaptation","volume":"14","author":"Ardagna A.","year":"2021","unstructured":"Claudio\u00a0A. Ardagna, Rasool Asal, Ernesto Damiani, Theo Dimitrakos, Nabil\u00a0El Ioini, and Claus Pahl. 2021. Certification-Based Cloud Adaptation. IEEE Transactions on Services Computing 14, 1 (2021).","journal-title":"IEEE Transactions on Services Computing"},{"key":"e_1_3_2_1_7_1","volume-title":"FoNAC - An automated Fog Node Audit and Certification scheme. Computers & Security 93 (June","author":"Aslam Mudassar","year":"2020","unstructured":"Mudassar Aslam, Bushra Mohsin, Abdul Nasir, and Shahid Raza. 2020. FoNAC - An automated Fog Node Audit and Certification scheme. Computers & Security 93 (June 2020)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.02338"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. Blank and K. Deb. 2020. pymoo: Multi-Objective Optimization in Python. IEEE Access 8(2020).","DOI":"10.1109\/ACCESS.2020.2990567"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2020.2992387"},{"key":"e_1_3_2_1_11_1","volume-title":"Cost models for future software life cycle processes: COCOMO 2.0. Annals of Software Engineering 1, 1 (Dec","author":"Boehm Barry","year":"1995","unstructured":"Barry Boehm, Bradford Clark, Ellis Horowitz, Chris Westland, Ray Madachy, and Richard Selby. 1995. Cost models for future software life cycle processes: COCOMO 2.0. Annals of Software Engineering 1, 1 (Dec 1995)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2738640"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of FHIES","author":"Chen Yihai","year":"2013","unstructured":"Yihai Chen, Mark Lawford, Hao Wang, and Alan Wassyng. 2013. Insulin Pump Software Certification. In Proc. of FHIES 2013. Macau, China."},{"key":"e_1_3_2_1_14_1","unstructured":"Common Criteria. [n. d.]. Certified Products. https:\/\/www.commoncriteriaportal.org\/products\/"},{"key":"e_1_3_2_1_15_1","volume-title":"Simulated Binary Crossover for Continuous Search Space. Complex systems 9, 2","author":"Deb Kalyanmoy","year":"1995","unstructured":"Kalyanmoy Deb and Ram\u00a0Bhushan Agrawal. 1995. Simulated Binary Crossover for Continuous Search Space. Complex systems 9, 2 (1995)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6384-9_40"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22199-0"},{"key":"e_1_3_2_1_19_1","volume-title":"Cybersecurity Certification: Candidate EUCC Scheme V1.1.1. https:\/\/www.enisa.europa.eu\/publications\/cybersecurity-certification-eucc-candidate-scheme-v1-1.1","author":"ENISA.","year":"2020","unstructured":"ENISA. 2020. Cybersecurity Certification: Candidate EUCC Scheme V1.1.1. https:\/\/www.enisa.europa.eu\/publications\/cybersecurity-certification-eucc-candidate-scheme-v1-1.1"},{"key":"e_1_3_2_1_20_1","unstructured":"ENISA. 2020. EUCS \u2013 Cloud Services Scheme. https:\/\/www.enisa.europa.eu\/publications\/eucs-cloud-service-scheme"},{"key":"e_1_3_2_1_21_1","unstructured":"ENISA. 2021. Securing EU\u2019s Vision on 5G: Cybersecurity Certification. https:\/\/www.enisa.europa.eu\/news\/enisa-news\/securing_eu_vision_on_5g_cybersecurity_certification"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_21"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Richard Hawkins Ibrahim Habli Tim Kelly and John McDermid. 2013. Assurance cases and prescriptive software safety certification: A comparative study. Safety Science 59(2013).","DOI":"10.1016\/j.ssci.2013.04.007"},{"volume-title":"Using the Common Criteria for IT security evaluation","author":"Herrmann S","key":"e_1_3_2_1_25_1","unstructured":"Debra\u00a0S Herrmann. 2002. Using the Common Criteria for IT security evaluation. CRC Press."},{"volume-title":"Medical device software \u2013 Software life cycle processes. Standard","author":"IEC.","key":"e_1_3_2_1_26_1","unstructured":"IEC. 2006. Medical device software \u2013 Software life cycle processes. Standard. International Electrotechnical Commission, Geneva, CH."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCDM.2014.7007204"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15892-1_8"},{"key":"e_1_3_2_1_29_1","volume-title":"An interaction framework for adaptive systems with security assurance cases. Future Generation Computer Systems 109","author":"Jahan Sharmin","year":"2020","unstructured":"Sharmin Jahan, Ian Riley, Charles Walter, Rose\u00a0F. Gamble, Matt Pasco, Philip\u00a0K. McKinley, and Betty\u00a0H.C. Cheng. 2020. MAPE-K\/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases. Future Generation Computer Systems 109 (2020)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281534"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2013.17"},{"volume-title":"Knapsack Problems","author":"Kellerer Hans","key":"e_1_3_2_1_32_1","unstructured":"Hans Kellerer, Ulrich Pferschy, and David Pisinger. 2004. Knapsack Problems. Springer."},{"key":"e_1_3_2_1_33_1","volume-title":"Quality Evaluation of Solution Sets in Multiobjective Optimisation: A Survey. ACM Computing Surveys (CSUR) 52, 2","author":"Li Miqing","year":"2019","unstructured":"Miqing Li and Xin Yao. 2019. Quality Evaluation of Solution Sets in Multiobjective Optimisation: A Survey. ACM Computing Surveys (CSUR) 52, 2 (2019)."},{"key":"e_1_3_2_1_34_1","volume-title":"Designing Monitoring Systems for Continuous Certification of Cloud Services: Deriving Meta-requirements and Design Guidelines. Comm. of the Association for Information Systems 44","author":"Lins Sebastian","year":"2019","unstructured":"Sebastian Lins, Stephan Schneider, Jakub Szefer, Shafeeq Ibraheem, and Ali Ali. 2019. Designing Monitoring Systems for Continuous Certification of Cloud Services: Deriving Meta-requirements and Design Guidelines. Comm. of the Association for Information Systems 44 (2019)."},{"key":"e_1_3_2_1_35_1","first-page":"6","article-title":"A Survey of Cybersecurity Certification for the Internet of Things","volume":"53","author":"Matheu N.","year":"2020","unstructured":"Sara\u00a0N. Matheu, Jos\u00e9\u00a0L. Hern\u00e1ndez-Ramos, Antonio\u00a0F. Skarmeta, and Gianmarco Baldini. 2020. A Survey of Cybersecurity Certification for the Internet of Things. ACM Computing Surveys (CSUR) 53, 6 (Dec. 2020).","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_36_1","volume-title":"Risk-based automated assessment and testing for the cybersecurity certification and labelling of IoT devices. Computer Standards & Interfaces 62 (February","author":"Matheu-Garc\u00eda N.","year":"2019","unstructured":"Sara\u00a0N. Matheu-Garc\u00eda, Jos\u00e9\u00a0L. Hern\u00e1ndez-Ramos, Antonio\u00a0F. Skarmeta, and Gianmarco Baldini. 2019. Risk-based automated assessment and testing for the cybersecurity certification and labelling of IoT devices. Computer Standards & Interfaces 62 (February 2019)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_31"},{"volume-title":"Multiobjective Optimization: Interactive and Evolutionary Approaches","author":"Miettinen Kaisa","key":"e_1_3_2_1_38_1","unstructured":"Kaisa Miettinen. 2008. Introduction to Multiobjective Optimization: Noninteractive Approaches. In Multiobjective Optimization: Interactive and Evolutionary Approaches. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67383-7_2"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2013.54"},{"volume-title":"Developing safety-critical software","author":"Rierson Leanna","key":"e_1_3_2_1_41_1","unstructured":"Leanna Rierson. 2017. Developing safety-critical software. CRC Press."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2602577"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2016.0120"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010163"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3339252.3339263"}],"event":{"name":"ARES 2022: The 17th International Conference on Availability, Reliability and Security","acronym":"ARES 2022","location":"Vienna Austria"},"container-title":["Proceedings of the 17th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3538969.3539012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3538969.3539012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:41Z","timestamp":1750183781000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3538969.3539012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,23]]},"references-count":45,"alternative-id":["10.1145\/3538969.3539012","10.1145\/3538969"],"URL":"https:\/\/doi.org\/10.1145\/3538969.3539012","relation":{},"subject":[],"published":{"date-parts":[[2022,8,23]]},"assertion":[{"value":"2022-08-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}