Advertisement

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
    2. Peter Bishop, Robin Bloomfield, Tim Clement, Sofia Guerra
      Pages 198-211
  11. Safety Assessment

    1. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
      Pages 212-223
    2. Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca
      Pages 224-235
  12. Keynote Talk

  13. Design for Dependability (Poster Session)

    1. Francisco Rodríguez, José Carlos Campelo, Juan José Serrano
      Pages 261-272
  14. Application of Formal Methods

    1. Marco Gribaudo, A. Horváth, A. Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
      Pages 273-283
    2. Babita Sharma, S. D. Dhodapkar, S. Ramesh
      Pages 284-295
    3. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
      Pages 296-308
  15. Design for Dependability

    1. Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner
      Pages 334-346
  16. Back Matter
    Pages 347-347

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
  • Buy this book on publisher's site