Security and Dependability for Ambient Intelligence (eBook)

George Spanoudakis, Spyros Kokolakis (Herausgeber)

eBook Download: PDF

2009 | 2009
IX, 392 Seiten
Springer US (Verlag)
978-0-387-88775-3 (ISBN)

Infos

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.

---

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.

Inhalt

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

Produkt-Details

• Erscheint lt. Verlag: 21.4.2009
• Reihe/Serie: Advances in Information Security
• Reihe/Serie: Advances in Information Security
• Zusatzinfo: IX, 392 p. 80 illus., 30 illus. in color.
• Verlagsort: New York
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
• Themenwelt: Informatik ► Netzwerke ► Sicherheit / Firewall
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Schlagworte: Adaptation • Ambient • Ambient Intelligence • Computer Science • currentsmp • Dependability • Design • Development • Distributed Systems • language • Monitoring • security • SERENITY • Spanoudakis • system development • verification • Web Services
• ISBN-10: 0-387-88775-X / 038788775X
• ISBN-13: 978-0-387-88775-3 / 9780387887753