Computer Safety, Reliability, and Security

25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

  • Janusz Górski
Conference proceedings SAFECOMP 2006

DOI: 10.1007/11875567

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4166)

Table of contents (32 papers)

  1. Front Matter
  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
  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
  5. Formal Approaches

  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
  7. Coping with Change and Mobility

    1. Demonstration of Safety in Healthcare Organisations
      Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon
      Pages 219-232
  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

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Janusz Górski
    • 1
  1. 1.Department of Software EngineeringGdańsk University of Technology,GdańskPoland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-45762-6
  • Online ISBN 978-3-540-45763-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349