Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3540876979 ISBN 13 : 9783540876977

Editeur : Springer, 2008

Synopsis

Safecomp washeld in Newcastleupon Tyne,UK in September 2008.The conf- ence was the latest in a long and strong tradition of leading-edge research and practice in Computer Safety, Reliability and Security that began in 1979. The programme was drawn from a strong international selection of papers from a dozen countries in three continents (32 papers from 115 submissions). Traditional Safecomp themes such as software dependability, software safety - guments and formal methods continued to be represented. This conference also strengthened themes that have been less visible in previous Safecomp conf- ences, particularly those relating to the complexity and resilience of systems, critical infrastructures and human factors. It broadened the usual domains of application to include, for example, e-Commerce. The programme continued to bene?t fromstrongindustrialcontributionsin safetycriticalandsecuritycritical applications. We were fortunate to have keynote addresses from Colin O Halloran (Qi- tiQ) and Roger Rivett (LandRover)on di?erent complementary industrial ex- riences in security and reliability. We were also fortunate to have Erik Hollnagel as our opening keynote speaker. Professor Hollnagel s contribution was e?- tive in challenging traditional views, broadening the focus of concern, especially relating to the management and analysis of complexity in large-scale systems.

A propos du livre

À propos de la quatrième de couverture

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.

The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2008
• Langue: anglais
• ISBN 10: 3540876979
• ISBN 13: 9783540876977
• Reliure: Broché
• Nombre de pages: 458
• Éditeur: Harrison Michael D., Sujan Mark Alexander
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible