Security and Dependability for Ambient Intelligence

Security and Dependability for Ambient Intelligence is the primary publication of the SERENITY approach, which provides security and dependability (S&D) solutions for dynamic, highly distributed, heterogeneous systems. 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.

An edited volume contributed by world leaders in the field, this book covers the problems that the highly dynamic and heterogeneous nature of ambient intelligence systems poses to security and dependability and presents solutions to these problems.

Security and Dependability for Ambient Intelligence is designed for researchers and practitioners focusing on the dynamic integration, deployment and verification of security and dependability solutions in highly distributed systems incorporating ambient intelligence features. It is also suitable as a reference or secondary text for advanced-level students in computer science and computer or electrical engineering.

Foundations of Security and Dependability.- Security and Dependability Engineering.- Security Patterns and A Methodology to Apply them.- Introduction: The SERENITY vision.- The SERENITY Security and Dependability Artefacts.- Specification of Security and Dependability Properties.- Representation of Security and Dependability Solutions.- Security and Dependability Solutions for Web Services and Workflows.- Security and Dependability Solutions for Networks and Devices.- Developing SERENITY Aware Applications and S&D solutions.- SERENITY Aware Development of Security and Dependability Solutions.- Verification of S&D Solutions for Network Communications and Devices.- SERENITY Aware System Development Process.- Runtime Support for Security and Dependability.- The SERENITY Runtime Framework.- Pattern Driven Selection and Configuration of S#x0026;D Mechanisms at Runtime.- The SERENITY Runtime Monitoring Framework.- Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework.- Dealing with Security and Dependability at Organisational and Legal Levels.- Organisational Pattern Driven Recovery Mechanisms.- Legal Issues of Ambient Intelligence in the SERENITY Project.- Experiences and Future Directions.- SERENITY in e-Business and Smart Item Scenarios.- Realising the Potential of Serenity in Emerging AmI Ecosystems:Implications and Challenges.- Applying the SERENITY Methodology to the Domain of Trusted Electronic Archiving.- SERENITY in Air Traffic Management.- Future Directions.