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.
Author(s): Sandro Bologna, Erik Hollnagel, Christopher Bartlett, Helmut Bezecny, Bjørn Axel Gran (auth.), Stuart Anderson, Massimo Felici, Sandro Bologna (eds.)
Series: Lecture Notes in Computer Science 2434
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 352
Tags: Software Engineering/Programming and Operating Systems; Coding and Information Theory; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Management of Computing and Information Systems
Human-Computer System Dependability....Pages 1-3
Dependability of Joint Human-Computer Systems....Pages 4-9
Dependability in the Information Society: Getting Ready for the FP6....Pages 10-18
A Rigorous View of Mode Confusion....Pages 19-31
Dependability as Ordinary Action....Pages 32-43
Practical Solutions to Key Recovery Based on PKI in IP Security....Pages 44-52
Redundant Data Acquisition in a Distributed Security Compound....Pages 53-60
Survivability Strategy for a Security Critical Process....Pages 61-69
Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation....Pages 70-81
Safety and Security Analysis of Object-Oriented Models....Pages 82-93
The CORAS Framework for a Model-Based Risk Management Process....Pages 94-105
Software Challenges in Aviation Systems....Pages 106-112
A Strategy for Improving the Efficiency of Procedure Verification....Pages 113-125
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time....Pages 126-138
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components....Pages 139-150
Assessment of the Benefit of Redundant Systems....Pages 151-162
Estimating Residual Faults from Code Coverage....Pages 163-174
Towards a Metrics Based Verification and Validation Maturity Model....Pages 175-185
Analysing the Safety of a Software Development Process....Pages 186-197
Software Criticality Analysis of COTS/SOUP....Pages 198-211
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System....Pages 212-223
Checking Safe Trajectories of Aircraft Using Hybrid Automata....Pages 224-235
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model....Pages 236-248
On Diversity, and the Elusiveness of Independence....Pages 249-251
An Approach to a New Network Security Architecture for Academic Environments....Pages 252-260
A Watchdog Processor Architecture with Minimal Performance Overhead....Pages 261-272
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant....Pages 273-283
Assertion Checking Environment (ACE) for Formal Verification of C Programs....Pages 284-295
Safety Analysis of the Height Control System for the Elbtunnel....Pages 296-308
Dependability and Configurability: Partners or Competitors in Pervasive Computing?....Pages 309-320
Architectural Considerations in the Certification of Modular Systems....Pages 321-333
A Problem-Oriented Approach to Common Criteria Certification....Pages 334-346
