Security and Dependability for Ambient Intelligence

ISBN-13: 9780387887746 / Angielski / Twarda / 2009 / 392 str.

George Spanoudakis; Antonio Mana Gomez; Kokolakis Spyros

Opis

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.

Spis treści

Preface.- Introduction.- Security and Dependability in Ambient Intelligence (AmI).- Security and Dependability Engineering.- The Use of Patterns in Security and Dependability Engineering: An Overview.- The SERENITY vision.- Realising the Vision Specification of S&D Properties.- Representation of Security and Dependability Solutions.- Organisational Level S&D Patterns.- S&D patterns for Web Services and Workflows.- Network and Communication S&D Patterns.- Pattern Integration Schemes.- SERENITY S&D Solution Development Process.- SERENITY Trust Model.- Verification Using the Secure Tropos Approach.- Verification Using APA-SHVT.- Verification Using Avispa.- Complementing Solutions with Monitoring.- Transforming Verification Results into Models.- Exploiting S&D Patterns in System Development.- SERENITY System Development Process.- Pattern Libraries and their Use System Development.- Exploiting S&D Patterns at Runtime.- The SERENITY Framework.- Pattern Driven Selection and Configuration of S&D Mechanisms at Runtime.- Pattern Driven Detection of S&D Intrusions and Threats.- Diagnosing S&D Iintrusions.- Recovery and Control for S&D Intrusions and Threats.- Supporting the Evolution of S&D Patterns.- Experiences and Future Directions.- Applications of SERENITY Framework on Industrial Case Studies – Experiences and Challenges.- Standardization.- Realizing the Potential of SERENITY in Emerging AmI Ecosystems: Implications and Challenges.- Index.

Blurb

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.