This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, held in Potsdam, Germany, in September 2004.
The 24 revised full papers presented together with abstracts of 3 invited presentations were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on safety cases, reliability, human factors, transportation, software development, fault tree analysis, formal methods and systems, security and quality of services, and hazard and risk analysis.
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2004, h...
This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the European Commission, is based on the principle of addressing security concerns from the very beginning in all software development phases, thus contributing to reduce the amount of software vulnerabilities and enabling the systematic treatment of security needs through the engineering process. The...
This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future I...
