Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability and Security

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Stuart Anderson

    1. LFCS, Division of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Massimo Felici

    1. LFCS, Division of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sandro Bologna

    1. ENEA CR Casaccia, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)

    1. Human-Computer System Dependability

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

    2. Dependability of Joint Human-Computer Systems

      • Erik Hollnagel
      Pages 4-9

  4. Human Factors

    1. A Rigorous View of Mode Confusion

      • Jan Bredereke, Axel Lankenau
      Pages 19-31

    2. Dependability as Ordinary Action

      • Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield
      Pages 32-43

  6. Dependability Assessment (Poster Session)

    1. Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation

      • Klaus Heidtmann
      Pages 70-81

    2. Safety and Security Analysis of Object-Oriented Models

      • Kevin Lano, David Clark, Kelly Androutsopoulos
      Pages 82-93

    3. The CORAS Framework for a Model-Based Risk Management Process

      • Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theo Dimitrakos
      Pages 94-105

  7. Keynote Talk

    1. Software Challenges in Aviation Systems

      • John C. Knight
      Pages 106-112

  8. Application of Formal Methods (Poster Session)

    1. A Strategy for Improving the Efficiency of Procedure Verification

      • Wenhui Zhang
      Pages 113-125

    2. Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time

      • Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
      Pages 126-138

    3. Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components

      • Peter Popov
      Pages 139-150

  9. Reliability Assessment

    1. Assessment of the Benefit of Redundant Systems

      • Luping Chen, John May, Gordon Hughes
      Pages 151-162

    2. Estimating Residual Faults from Code Coverage

      • Peter G. Bishop
      Pages 163-174

  10. Design for Dependability

    1. Towards a Metrics Based Verification and Validation Maturity Model

      • Jef Jacobs, Jos Trienekens
      Pages 175-185

    2. Analysing the Safety of a Software Development Process

      • Stephen E. Paynter, Bob W. Born
      Pages 186-197
Back to top

Other volumes

  1. Computer Safety, Reliability and Security

Keywords

About this book

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.

Editors and Affiliations

  • LFCS, Division of Informatics, The University of Edinburgh, Edinburgh, UK

    Stuart Anderson, Massimo Felici

  • ENEA CR Casaccia, Rome, Italy

    Sandro Bologna

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation