Computer Safety, Reliability, and Security

1. Front Matter

   PDF

2. Keynote Papers

   1. Critical Information Infrastructures: Should Models Represent Structures or Functions?

      • Erik Hollnagel

      Pages 1-4

   2. Security and Interoperability for MANETs and a Fixed Core

      • Colin O’Halloran, Andy Bates

      Pages 5-11

   3. Technology, Society and Risk

      • Roger Rivett

      Pages 12-12

   4. Panel: Complexity and Resilience

      • Aad van Moorsel

      Pages 13-15

3. Software Dependability

   1. The Effectiveness of T-Way Test Data Generation

      • Michael Ellims, Darrel Ince, Marian Petre

      Pages 16-29

   2. Towards Agile Engineering of High-Integrity Systems

      • Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

      Pages 30-43

   3. SafeSpection – A Systematic Customization Approach for Software Hazard Identification

      • Christian Denger, Mario Trapp, Peter Liggesmeyer

      Pages 44-57

   4. Integrating Safety Analyses and Component-Based Design

      • Dominik Domis, Mario Trapp

      Pages 58-71

   5. Modelling Support for Design of Safety-Critical Automotive Embedded Systems

      • DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner et al.

      Pages 72-85

4. Resilience

   1. Resilience in the Aviation System

      • Antonio Chialastri, Simone Pozzi

      Pages 86-98

   2. Resilience Markers for Safer Systems and Organisations

      • Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford

      Pages 99-112

   3. Modeling and Analyzing Disaster Recovery Plans as Business Processes

      • Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski

      Pages 113-125

5. Fault Tolerance

   1. Analysis of Nested CRC with Additional Net Data in Communication

      • Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold

      Pages 126-138

   2. Symbolic Reliability Analysis of Self-healing Networked Embedded Systems

      • Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich

      Pages 139-152

   3. Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers

      • Yasser Sedaghat, Seyed Ghassem Miremadi

      Pages 153-166

6. Security

   1. Secure Interaction Models for the HealthAgents System

      • Liang Xiao, Paul Lewis, Srinandan Dasmahapatra

      Pages 167-180

   2. Security Challenges in Adaptive e-Health Processes

      • Michael Predeschly, Peter Dadam, Hilmar Acker

      Pages 181-192

   3. An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest

      • Abdullah Alaraj, Malcolm Munro

      Pages 193-206

   4. Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles

      • Dennis K. Nilsson, Ulf E. Larson, Erland Jonsson

      Pages 207-220

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.

• ATM
• Controller Area Network (CAN)
• access control
• certification
• cognitive systems
• complexity
• complexity reduction
• computer reliability
• computer safety
• computer security
• correct systems behaviour
• data integrity
• dependability
• dynamic systems
• e-commerce

• School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

  Michael D. Harrison

• Health Sciences Research Institute, University of Warwick, Coventry, UK

  Mark-Alexander Sujan

Policies and ethics