Security and Dependability for Ambient Intelligence

Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach which provides security and dependability (S&D) solutions for dynamic, highly distributed and heterogeneous systems. The term Ambient Intelligence identifies an ambitious vision for pushing technological developments, that will enable heterogeneous networked systems and devices with computing capabilities (cars, house applications, mobile phones etc.). The objective of SERENITY is to enhance the security and dependability of ambient intelligence systems by providing a framework supporting the automated integration, configuration, monitoring and adaptation of security and dependability mechanisms.Security and Dependability for Ambient Intelligence, an edited volume contributed by world leaders in this field, covers the foundations of ambient systems, the problems that their highly dynamic and heterogeneous nature poses to security and dependability and solutions. These solutions include the language that has developed for specifying S&D patterns.This volume is designed for researchers and practitioners focusing on the dynamic integration, deployment and verification of security solutions in highly distributed systems incorporating ambient intelligence features. This book is also suitable as a reference or secondary text book for advanced-level students in computer science or electrical engineering.