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
Conference proceedings SAFECOMP 2008

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
    4. Danielle Chrun, Michel Cukier, Gerry Sneeringer
      Pages 221-234
  7. Safety Cases

  8. Formal Methods

    1. Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
      Pages 305-319
    2. Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc
      Pages 320-331
    3. Krzysztof Sacha
      Pages 332-345
    4. Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
      Pages 346-359
  9. Dependability Modelling

    1. Dawid Trawczynski, Janusz Sosnowski, Piotr Gawkowski
      Pages 360-372
    2. David Navarre, Philippe Palanque, Sandra Basnyat
      Pages 373-386
  10. Security and Dependability

  11. Back Matter

About these proceedings


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

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-87697-7
  • Online ISBN 978-3-540-87698-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences