ISBN-10:
0387887741
ISBN-13:
9780387887746
Pub. Date:
06/09/2009
Publisher:
Springer US
Security and Dependability for Ambient Intelligence / Edition 1

Security and Dependability for Ambient Intelligence / Edition 1

by George Spanoudakis, Spyros Kokolakis

Hardcover

Current price is , Original price is $199.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9780387887746
Publisher: Springer US
Publication date: 06/09/2009
Series: Advances in Information Security , #45
Edition description: 2009
Pages: 392
Product dimensions: 6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

Preface v-vi

1 Introduction: The SERENITY vision Antonio Mana George Spanoudakis Spyros Kokolakis 1

Part A Foundations of Security and Dependability Engineering

2 Security and Dependability Engineering Jan Jurjens 21

3 Security Patterns and A Methodology to Apply them Eduardo B. Fernandez 37

Part B The SERENITY Security and Dependability Artefacts

4 Specification of Security and Dependability Properties Sigrid Gurgens Gimena Pujol 49

5 Representation of Security and Dependability Solutions Francisco Sanchez-Cid Antonio Mana George Spanoudakis Christos Kloukinas Daniel Serrano Antonio Munoz 69

6 Security and Dependability Solutions for Web Services and Workflows Spyros Kokolakis Panagiotis Rizomiliotis Azzedine Benameur Smriti Kumar Sinha 97

7 Security and Dependability Solutions for Networks and Devices Sigrid Gurgens Andreas Fuchs 107

Part C Developing SERENITY Aware Applications and S&D solutions

8 SERENITY Aware Development of Security and Dependability Solutions Daniel Serrano Antonio Mana Rafael Llarena Beatriz Gallego-Nicasio Crespo Keqin Li 127

9 Verification of S&D Solutions for Network Communications and Devices Carsten Rudolph Luca Compagna Roberto Carbone Antonio Munoz Jurgen Repp 143

10 SERENITY Aware System Development Process Daniel Serrano Antonio Mana Rafael Llarena Beatriz Gallego-Nicasio Crespo Keqin Li 165

Part D Runtime Support for Security and Dependability

11 The SERENITY Runtime Framework Beatriz Gallego-Nicasio Crespo Ana Pinuela Pedro Soria-Rodriguez Daniel Serrano Antonio Mana 183

12 Pattern Driven Selection and Configuration of S&D Mechanisms at Runtime Beatriz Gallego-Nicasio Crespo Ana Pinuela Pedro Soria-Rodriguez DanielSerrano Antonio Mana 199

13 The SERENITY Runtime Monitoring Framework George Spanoudakis Christos Kloukinas Khaled Mahbub 213

14 Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework Theocharis Tsigkritis George Spanoudakis Christos Kloukinas Davide Lorenzoli 239

Part E Dealing with Security and Dependability at Organisational and Legal Levels

15 Organisational Pattern Driven Recovery Mechanisms Valentina Di Giacomo Domenico Presenza Carlo Riccucci 275

16 Legal Issues of Ambient Intelligence in the SERENITY Project Alzbeta Krausova Jos Dumortier 291

Part F Experiences and Future Directions

17 SERENITY in e-Business and Smart Item Scenarios Azzedine Benameur Paul El Khoury Magali Seguran Smriti Kumar Sinha 305

18 Realising the Potential of Serenity in Emerging AmI Eco-systems: Implications and Challenges Alvaro Armenteros Laura Garcia Antonio Munoz Antonio Mana 323

19 Applying the SERENITY Methodology to the Domain of Trusted Electronic Archiving Jan Porekar Tomaz Klobucar Svetlana Saljic Dusan Gabrijelcic 343

20 SERENITY in Air Traffic Management Massimo Felici Valentino Meduri Alessandra Tedeschi Carlo Riccucci 359

21 Future Directions Antonio Mana George Spanoudakis Spyros Kokolakis 379

Index 385

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews