Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems The SHIELD Methodology

With a business baseline focused on the impact of embedded systems in the years ahead, the book investigates the Security, Privacy and Dependability (SPD) requirements raised from existing and future IoT, Cyber-Physical and M2M systems. It proposes a new approach to embedded systems SPD, the SHIELD philosophy, that relies on an overlay approach to SPD, on a methodology for composable SPD, on the use of semantics, and on the design of embedded systems with built-in SPD. The book explores new ground and illustrates the development of approximately forty prototypes capable of managing and enhancing SPD, including secure boot, trusted execution environments, adaptable radio interfaces, and different implementations of the middleware for measuring and composing SPD.

Chapter 1: Introduction Andrea Fiaschetti, Josef Noll, Paolo Azzoni, and Roberto Uribeetxeberria Chapter 2: Security, Privacy and Dependability Concepts Andrea Fiaschetti, Josef Noll, Paolo Azzoni, Roberto Uribeetxeberria, John Gialelis, Kyriakos Stefanidis, Dimitrios Serpanos, and Andreas Papalambrou Chapter 3: Security, Privacy and Dependability Technologies Paolo Azzoni, Luca Geretti, Antonio Abramo, Kyriakos Stefanidis, John Gialelis, Andreas Papalambrou, Dimitrios Serpanos, Kostantinos Rantos, Andrea Toma, Nawaz Tassadaq, Kresimir Dabcevic, Carlo Regazzoni, Lucio Marcenaro, Massimo Traversone, Marco Cesena, and Silvano Mignanti Chapter 4: The SHIELD approach Andrea Fiaschetti, Paolo Azzoni, Josef Noll, Roberto Uribeetxeberria, Antonio Pietrabissa, Francesco Delli Priscoli, Vincenzo Suraci, Silvano Mignanti, Francesco Liberati, Martina Panfili, Alessandro Di Giorgio, and Andrea Morgagni Chapter 5: Security, Privacy and Dependability Metrics Andrea Morgagni, Andrea Fiaschetti, Josef Noll, Ignacio Arenaza-Nuño, and Javier Del Ser Chapter 6: Airborne Domain Cecilia Coveri, Massimo Traversone, Marina Silvia Guzzetti, and Paolo Azzoni Chapter 7: Railway Domain Paolo Azzoni, Francesco Rogo, and Andrea Fiaschetti Chapter 8: Biometric Security Domain Paolo Azzoni, Kostantinos Rantos, Luca Geretti, Antonio Abramo, and Stefano Gosetti Chapter 9: Perspectives in secure SMART environments Josef Noll, Iñaki Garitano, Christian Johansen, Javier del Ser, and Ignacio Arenaza-Nuño Chapter 10: SHIELD Technology Demonstrators Marco Cesena, Carlo Regazzoni, Lucio Marcenaro, George Hatzivasilis, Konstantinos Fysarakis, Charalampos Manifavas, Ioannis Papaefstathiou, Paolo Azzoni, and Kyriakos Stefanidis Chapter 11: Applying SHIELD in New Domains Paolo Azzoni, Francesco Rogo, Cecilia Coveri, Marco Steger, Werner Rom, Andrea Fiaschetti, Francesco Liberati, and Josef Noll

Andrea Fiaschetti is Honorary Fellow (Cultore della Materia) at the University of Rome "La Sapienza" in the Department of Computer, Control and Management Engineering "A. Ruberti", promoting research and teaching activities in the field of Automatic Control. He is/has been a teaching assistant in several courses within the Control Engineering, System Engineering, and Computer Science degrees, as well as supervisor of dozens of B.Sc./M.Sc. thesis on innovative topics. Since 2007, he has been actively involved in several European projects, mainly in the Security domain, including, but not limited to: SatSix, MICIE, MONET, and TASS, as well as nSHIELD and pSHIELD (on which this book is based). His main research interests are in the field of applied Automatic Control, pursuing a cross-fertilization between Control Theory and Computer Science, with particular focus on innovative solutions for Security and Manufacturing domains; in this perspective, his major achievement is the formalisation of the so called "Composable Security Theory", an innovative methodology, born within a collaboration with a restricted pool of academic and industrial experts, that represents the foundation of the SHIELD roadmap. He is an author of several papers on this topic. On an industrial perspective, Andrea Fiaschetti is a certified Project Management Professional (PMP®) and works at Thales Alenia Space Italia S.p.A. (a Thales/Leonardo company). Last, but not least, he is actively involved in the Engineers Association of Rome, where he has recently been appointed as President of the Smart Cities and Internet of Things Committee (2017). Josef Noll is Visionary at the Basic Internet Foundation and professor at the University of Oslo (UiO). Through the Foundation, he addresses "information for all" as the basis of sustainable development and digital inclusion. Regarding sustainable infrastructures, where communication and security are key topics for the transfer to a digital society, he leads the national initiative "Security in IoT for Smart Grids" (IoTSec.no), Norway’s largest research project within IoT security. In 2017, the 20 partner opened the Smart Grid Security Centre to contribute to trusted and more secure power grids and smart home/city services. He is also head of research in Movation, Norway's open innovation company for mobile services. The company supported more than 200 start-ups in the last ten years. He is co-founder of the Center for Wireless Innovation and Mobile Monday in Norway. He is IARIA fellow, reviewer of EU FP7/H2020 projects and evaluator of national and EU research programmes. Previously he was Senior Advisor at Telenor R&I in the Products and Markets group and project leader of the JU Artemis pSHIELD project on 'Measurable Security for Embedded Systems', Eurescom's 'Broadband services in the Intelligent Home' and use-case leader in the EU FP6 'Adaptive Services Grid (ASG)' projects. He has initiated a.o. the EU's 6th FP ePerSpace and several Eurescom projects. He joined UiO in 2005, and Telenor R&D in 1997, coming from the European Space Agency, where he was staff member (1993-1997) in the Electromagnetics Division of ESA ESTEC. He received his Dipl.-Ing. and Ph.D. degree in electrical engineering from the University of Bochum in 1985 and 1993. He worked as an Integrated Circuit Designer in 1985 with SIEMENS in Munich, Germany and returned to the Institute for Radio-frequency at the University of Bochum as a Research Assistant from 1986 - 1990. Paolo Azzoni is the Research Program Manager at Eurotech Group. He is responsible for planning and directing industrial research projects, investigating technologies beyond the state of the art in computer science, developing a wide network of academic research groups, and providing the financial support to company research activities. His main working areas include cyber-physical systems (CPSs), intelligent systems, machine-to-machine distributed systems, device to cloud solutions, and Internet of Things. He participated in several European research projects in the contexts of FP7, Artemis, Aeneas, ECSEL, and H2020, and he is a European Community Independent Expert. He is one of the founders and promoters of the SHIELD initiative (pSHIELD and nSHIELD Artemis projects), from the early stage of concepts definition, to the development of the entire roadmap. He represents Eurotech in the Artemis Industrial Association (Artemis-IA) since 2007. He is currently member of the Artemis-IA Steering Board and chairman of the IoT and SoS Working Group. Previously, he was involved in academic lecturing and research in the areas of hardware formal verification, hardware/software co-design and co-simulation, advanced hardware architectures and operating systems. In 2006, he joined ETHLab (Eurotech Research Center) as Research Project Manager, and he has been responsible for the research projects in the area of embedded systems. He is an accomplished researcher and author