Computer Safety, Reliability, and Security

Researchers gathered in Naples, Italy, in September 2011 for the thirtieth edition of SAFECOMP, a conference on keeping computer systems safe, dependable and secure. This volume collects the papers accepted from around 100 submissions, 34 in total.

The contributions are grouped by theme: availability and reliability modelling, the dependability of complex systems, formal verification, risk and hazard analysis, cybersecurity, and optimization methods. It suits engineers, academics and practitioners working on critical computing infrastructure.