Computer Safety, Reliability, and Security

1. Front Matter

   PDF

2. Systems of Systems

   1. System of Systems Hazard Analysis Using Simulation and Machine Learning

      • Robert Alexander, Dimitar Kazakov, Tim Kelly

      Pages 1-14

   2. Through the Description of Attacks: A Multidimensional View

      • Igor Nai Fovino, Marcelo Masera

      Pages 15-28

   3. On Certain Behavior of Scale-Free Networks Under Malicious Attacks

      • Tomasz Gierszewski, Wojciech Molisz, Jacek Rak

      Pages 29-41

3. Security and Survivability Analysis

   1. Verifying a Chipcard-Based Biometric Identification Protocol in VSE

      • Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann

      Pages 42-56

   2. Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry

      • Felicjan Rydzak, Lars S. Breistrand, Finn Olav Sveen, Ying Qian, Jose J. Gonzalez

      Pages 57-70

   3. Computer System Survivability Modelling by Using Stochastic Activity Network

      • Eimantas Garsva

      Pages 71-84

4. Nuclear Safety and Application of Standards

   1. Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant

      • Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon

      Pages 85-98

   2. Regulatory Software Configuration Management System Design

      • I-Hsin Chou, Chin-Feng Fan

      Pages 99-112

   3. Gaining Confidence in the Software Development Process Using Expert Systems

      • Mario Brito, John May

      Pages 113-126

5. Formal Approaches

   1. Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems

      • Richard Banach, Marco Bozzano

      Pages 127-141

   2. Stepwise Development of Secure Systems

      • Thomas Santen

      Pages 142-155

   3. Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration

      • Holger Giese, Matthias Tichy

      Pages 156-169

6. Networks Dependability

   1. New VoIP Traffic Security Scheme with Digital Watermarking

      • Wojciech Mazurczyk, Zbigniew Kotulski

      Pages 170-181

   2. Towards Filtering and Alerting Rule Rewriting on Single-Component Policies

      • Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia

      Pages 182-194

   3. Using Group Overlapping to Protect Server from Attack in Grid Computing

      • Byungryong Kim

      Pages 195-204

7. Coping with Change and Mobility

   1. The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles

      • Andrzej Wardziński

      Pages 205-218

   2. Demonstration of Safety in Healthcare Organisations

      • Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon

      Pages 219-232

   3. Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks

      • Won Jay Song, Moon Kyo Cho, Im Sook Ha, Mun Kee Choi

      Pages 233-246

8. Safety Analysis and Assessment

   1. Assessment of Hazard Identification Methods for the Automotive Domain

      • Fredrik Törner, Per Johannessen, Peter Öhman

      Pages 247-260

Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies. The SAFECOMP 2006 program re?ected in this book included 32 papers selected from 101 submissions of full texts. The submissions came from authors representing 26 di?erent countries from Europe, Asia, and North and South America. The 32 accepted papers were prepared by experts representing 14 d- ferent countries. The above data con?rm the broad and increasing interest in SAFECOMP and the topics addressed. The program was supplemented by three keynote presentations by outsta- ing invited experts (not included in this book). The keynotes focused on - terdisciplinary aspects of dependability of computer systems, practical aspects of application of safety standards and new challenges of information security research and development.

• Unified Modeling Language (UML)
• computer reliability
• computer safety
• computer security
• correct systems behavior
• data integrity
• digital watermarking
• embedded systems
• grid computing
• machine learning
• modeling
• optimization
• organization
• safety-critical systems
• security

From the reviews:

"This book gives readers an idea of the current state of research in the areas of computer security, safety, and reliability. … It has research articles from diverse areas, such as military systems, the oil industry … and the automotive industry. In addition, some of the papers also delve into analytical, mathematical, and the simulation models of various systems as they pertain to security and reliability. These papers will serve as a useful tool for graduate and doctoral students in identifying problems in these areas." (Naga Narayanaswamy, ACM Computing Reviews, Vol. 49 (5), 2008)

• Department of Software Engineering, Gdańsk University of Technology,, Gdańsk, Poland

  Janusz Górski

Policies and ethics