Security and Dependability for Ambient Intelligence (eBook)

Preface 6
Contents 8
Chapter 1 Introduction: The SERENITY Vision 11
Part A: Foundations of Security and Dependability Engineering 29
Chapter 2 Security and Dependability Engineering 30
Chapter 3 Security Patterns and a Methodology to Apply them 46
Part B: The SERENITY Security and Dependability artefacts 56
Chapter 4 Specification of Security and Dependability Properties 57
Chapter 5 Representation of Security and Dependability Solutions 76
Chapter 6 Security and Dependability Solutions for Web Services and Workflows 103
Chapter 7 Security and Dependability Solutions for Networks and Devices 113
Part C: Developing SERENITY Aware Applications and S& D Solutions
Chapter 8 SERENITY Aware Development of Security and Dependability Solutions 131
Chapter 9 Verification of S& D Solutions for network communications and devices
Chapter 10 SERENITY Aware System Development Process 167
Part D: Runtime Support for Security and Dependability 182
Chapter 11 The SERENITY Runtime Framework 183
Chapter 12 Pattern Driven Selection and Configuration of S& D Mechanisms at Runtime
Chapter 13 The Runtime Monitoring Framework of SERENITY 213
Chapter 14 Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework 238
Part E: Dealing with Security and Dependability at Organisational and Legal Levels 271
Chapter 15 Organisational Pattern Driven Recovery Mechanisms 272
Chapter 16 Legal Issues of Ambient Intelligence in the SERENITY Project 288
Part F: Experiences and Future Directions 300
Chapter 17 SERENITY in e-Business and Smart Items Scenarios 301
Chapter 18 Realising the Potential of SERENITY in Emerging AmI Ecosystems: Implications and Challenges 319
Chapter 19 Applying the SERENITY methodology to the domain of trusted electronic archiving 339
Chapter 20 SERENITY in Air Traffic Management 354
Chapter 21 Future Directions 374
Index 379