Computer Safety, Reliability and Security

21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

  • Stuart Anderson
  • Massimo Felici
  • Sandro Bologna
Conference proceedings SAFECOMP 2002
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2434)

Table of contents

  1. Front Matter
    Pages I-XX
  2. Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)

    1. Sandro Bologna, Erik Hollnagel, Christopher Bartlett, Helmut Bezecny, Bjørn Axel Gran, Dino De Luca et al.
      Pages 1-3
  3. Keynote Talk

  4. Human Factors

    1. Jan Bredereke, Axel Lankenau
      Pages 19-31
    2. Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield
      Pages 32-43
  5. Security

  6. Dependability Assessment (Poster Session)

    1. Kevin Lano, David Clark, Kelly Androutsopoulos
      Pages 82-93
    2. Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theo Dimitrakos
      Pages 94-105
  7. Keynote Talk

    1. John C. Knight
      Pages 106-112
  8. Application of Formal Methods (Poster Session)

  9. Reliability Assessment

    1. Luping Chen, John May, Gordon Hughes
      Pages 151-162
    2. Peter G. Bishop
      Pages 163-174
  10. Design for Dependability

    1. Stephen E. Paynter, Bob W. Born
      Pages 186-197

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.

Keywords

Code Computer Safety Correct Systems Behavior Data Integrity Dependable Systems Error-correcting Code Formal Methods Information Reliable Computing Systems Validation algorithms automata logic petri net security

Editors and affiliations

  • Stuart Anderson
    • 1
  • Massimo Felici
    • 1
  • Sandro Bologna
    • 2
  1. 1.LFCS, Division of InformaticsThe University of EdinburghEdinburghUK
  2. 2.ENEA CR CasacciaRomeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45732-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44157-1
  • Online ISBN 978-3-540-45732-9
  • Series Print ISSN 0302-9743
  • About this book