Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Michael D. Harrison

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark-Alexander Sujan

    1. Health Sciences Research Institute, University of Warwick, Coventry, UK

    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 5219)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2008.

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 (36 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation