Computer Safety, Reliability and Security

1. Front Matter

   Pages I-XX

   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

3. Keynote Talk

   1. Dependability in the Information Society: Getting Ready for the FP6

      • Andrea Servida

      Pages 10-18

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

5. Security

   1. Practical Solutions to Key Recovery Based on PKI in IP Security

      • Yoon-Jung Rhee, Tai-Yun Kim

      Pages 44-52

   2. Redundant Data Acquisition in a Distributed Security Compound

      • Thomas Droste

      Pages 53-60

   3. Survivability Strategy for a Security Critical Process

      • Ferdinand J. Dafelmair

      Pages 61-69

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

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.

• 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

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

  Stuart Anderson, Massimo Felici

• ENEA CR Casaccia, Rome, Italy

  Sandro Bologna

Policies and ethics