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.
Constitutes the proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. This title organizes the papers in topical sections on software dependability, resilience, fault tolerance, security, safety cases, and formal methods.
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 OHalloran (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 Hollnagels 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.
