Computer Safety, Reliability, and Security

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

  • Michael D. Harrison
  • Mark-Alexander Sujan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5219)

Table of contents

  1. Front Matter
  2. Keynote Papers

  3. Software Dependability

    1. Michael Ellims, Darrel Ince, Marian Petre
      Pages 16-29
    2. Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
      Pages 30-43
    3. Christian Denger, Mario Trapp, Peter Liggesmeyer
      Pages 44-57
    4. Dominik Domis, Mario Trapp
      Pages 58-71
    5. DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner et al.
      Pages 72-85
  4. Resilience

    1. Antonio Chialastri, Simone Pozzi
      Pages 86-98
    2. Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford
      Pages 99-112
    3. Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski
      Pages 113-125
  5. Fault Tolerance

    1. Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold
      Pages 126-138
    2. Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich
      Pages 139-152
  6. Security

    1. Liang Xiao, Paul Lewis, Srinandan Dasmahapatra
      Pages 167-180
    2. Michael Predeschly, Peter Dadam, Hilmar Acker
      Pages 181-192
    3. Dennis K. Nilsson, Ulf E. Larson, Erland Jonsson
      Pages 207-220

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Michael D. Harrison
    • 1
  • Mark-Alexander Sujan
    • 2
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  2. 2.Health Sciences Research InstituteUniversity of WarwickCoventryUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-87698-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87697-7
  • Online ISBN 978-3-540-87698-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book