| Description |
ix, 392 pages : illustrations ; 25 cm |
| Series |
Advances in information security ; 55 |
|
Advances in information security ; 55
|
| Contents |
Machine generated contents note: 1.Introduction: The SERENITY vision / Spyros Kokolakis / George Spanoudakis / Antonio Mana -- Pt. A Foundations of Security and Dependability Engineering -- 2.Security and Dependability Engineering / Jan Jurjens -- 3.Security Patterns and A Methodology to Apply them / Eduardo B. Fernandez -- Pt. B The SERENITY Security and Dependability Artefacts -- 4.Specification of Security and Dependability Properties / Gimena Pujol / Sigrid Gurgens -- 5.Representation of Security and Dependability Solutions / Daniel Serrano / Antonio Munoz / Christos Kloukinas / Francisco Sanchez-Cid / Antonio Mana / George Spanoudakis -- 6.Security and Dependability Solutions for Web Services and Workflows / Azzedine Benameur / Smriti Kumar Sinha / Spyros Kokolakis / Panagiotis Rizomiliotis -- 7.Security and Dependability Solutions for Networks and Devices / Sigrid Gurgens / Andreas Fuchs -- Pt. C Developing SERENITY Aware Applications and S&D solutions -- |
|
Contents note continued: 8.SERENITY Aware Development of Security and Dependability Solutions / Rafael Llarena / Beatriz Gallego-Nicasio Crespo / Keqin Li / Daniel Serrano / Antonio Mana -- 9.Verification of S&D Solutions for Network Communications and Devices / Carsten Rudolph / Antonio Munoz / Roberto Carbone / Luca Compagna / Jurgen Repp -- 10.SERENITY Aware System Development Process / Keqin Li / Beatriz Gallego-Nicasio Crespo / Rafael Llarena / Antonio Mana / Daniel Serrano -- Pt. D Runtime Support for Security and Dependability -- 11.The SERENITY Runtime Framework / Daniel Serrano / Antonio Mana / Ana Pinuela / Beatriz Gallego-Nicasio Crespo / Pedro Soria-Rodriguez -- 12.Pattern Driven Selection and Configuration of S&D Mechanisms at Runtime / Beatriz Gallego-Nicasio Crespo / Ana Pinuela / Pedro Soria-Rodriguez / Daniel Serrano / Antonio Mana -- 13.The SERENITY Runtime Monitoring Framework / Khaled Mahbub / George Spanoudakis / Christos Kloukinas -- |
|
Contents note continued: 14.Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework / Christos Kloukinas / Davide Lorenzoli / George Spanoudakis / Theocharis Tsigkritis -- Pt. E Dealing with Security and Dependability at Organisational and Legal Levels -- 15.Organisational Pattern Driven Recovery Mechanisms / Valentina Di Giacomo / Carlo Riccucci / Domenico Presenza -- 16.Legal Issues of Ambient Intelligence in the SERENITY Project / Alzbeta Krausova / Jos Dumortier -- Pt. F Experiences and Future Directions -- 17.SERENITY in e-Business and Smart Item Scenarios / Paul El Khoury / Smriti Kumar Sinha / Magali Seguran / Azzedine Benameur -- 18.Realising the Potential of Serenity in Emerging Aml Ecosystems: Implications and Challenges / Antonio Mana / Alvaro Armenteros / Laura Garcia / Antonio Munoz -- 19.Applying the SERENITY Methodology to the Domain of Trusted Electronic Archiving / Svetlana Saljic / Dusan Gabrijelcic / Tomaz Klobucar / Jan Porekar -- |
|
Contents note continued: 20.SERENITY in Air Traffic Management / Carlo Riccucci / Massimo Felici / Valentino Meduri / Alessandra Tedeschi -- 21.Future Directions / Spyros Kokolakis / Antonio Mana / George Spanoudakis |
| Notes |
Formerly CIP. Uk |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Embedded computer systems -- Security measures.
|
|
Ambient intelligence.
|
|
Computers -- Reliability.
|
|
Computer security.
|
| Author |
Spanoudakis, George.
|
|
Maña Gomez, Antonio.
|
|
Kokolakis, Spyros.
|
| LC no. |
2009926319 |
| ISBN |
9780387887746 hardback |
|
0387887741 hardback |
|
