Security and Dependability for Ambient Intelligence

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.