Computer Safety, Reliability, and Security

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

  • Janusz Górski
Conference proceedings SAFECOMP 2006

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

Table of contents

  1. Front Matter
  2. Systems of Systems

    1. Robert Alexander, Dimitar Kazakov, Tim Kelly
      Pages 1-14
    2. Igor Nai Fovino, Marcelo Masera
      Pages 15-28
    3. Tomasz Gierszewski, Wojciech Molisz, Jacek Rak
      Pages 29-41
  3. Security and Survivability Analysis

    1. Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
      Pages 42-56
    2. Felicjan Rydzak, Lars S. Breistrand, Finn Olav Sveen, Ying Qian, Jose J. Gonzalez
      Pages 57-70
  4. Nuclear Safety and Application of Standards

    1. Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon
      Pages 85-98
    2. I-Hsin Chou, Chin-Feng Fan
      Pages 99-112
  5. Formal Approaches

  6. Networks Dependability

    1. Wojciech Mazurczyk, Zbigniew Kotulski
      Pages 170-181
    2. Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia
      Pages 182-194
  7. Coping with Change and Mobility

    1. Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon
      Pages 219-232
  8. Safety Analysis and Assessment

    1. Fredrik Törner, Per Johannessen, Peter Öhman
      Pages 247-260
    2. Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski
      Pages 261-274
    3. Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, E. Moritz Hahn
      Pages 275-288
  9. Poster Session

    1. Piotr Chołda, Jerzy Domżał, Andrzej Jajszczyk, Krzysztof Wajda
      Pages 289-301
    2. Meine J. P. van der Meulen, Miguel A. Revilla
      Pages 302-315
    3. Marcin Szpyrka, Tomasz Szmuc
      Pages 344-357
  10. 6th FP Integrated Project DECOS

    1. Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent
      Pages 358-371
    2. Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, Laszlo Gönczy, Andras Pataricza et al.
      Pages 372-385
    3. Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger
      Pages 386-397
  11. Modelling

    1. Kirsten Berkenkötter, Ulrich Hannemann
      Pages 398-411
    2. Norbert Oster, Francesca Saglietti
      Pages 426-438
  12. Back Matter

About these proceedings


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

Editors and affiliations

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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-45762-6
  • Online ISBN 978-3-540-45763-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site