Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems

The book proposes a new methodology to address composable security, privacy, and dependability (SPD) in embedded systems. SPD represents a new challenging set of requirements that should be considered in the design process, and this book presents concrete answers based on built-in, rather than add-on, SPD functionalities.

---

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.