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.