Computer Safety, Reliability, and Security

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings

  • Stuart Anderson
  • Massimo Felici
  • Bev Littlewood
Conference proceedings SAFECOMP 2003

DOI: 10.1007/b12002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2788)

Table of contents (32 papers)

  1. Front Matter
  2. Keynote Talk

    1. Issues in Safety Assurance
      Martyn Thomas
      Pages 1-7
  3. Formal Methods

    1. Visual Modeling and Verification of Distributed Reactive Systems
      A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
      Pages 22-34
    2. Automatic Timeliness Verification of a Public Mobile Network
      E. Ciancamerla, M. Minichino, S. Serro, E. Tronci
      Pages 35-48
  4. Design for Dependability

    1. Integrity Static Analysis of COTS/SOUP
      P. Bishop, R. Bloomfield, T. Clement, S. Guerra, C. Jones
      Pages 63-76
    2. A Dependability Model for Domestic Systems
      Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield
      Pages 103-115
  5. Security and Formal Methods

    1. Modelling and Verification of Layered Security Protocols: A Bank Application
      Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
      Pages 116-129
    2. Software Tamper Resistance Using Program Certificates
      Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
      Pages 144-158
  6. Keynote Talk

  7. Dependability and Performance Analysis

    1. Web Service Availability – Impact of Error Recovery
      Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
      Pages 165-178
    2. A Unified Tool for Performance Modelling and Prediction
      Stephen Gilmore, Leïla Kloul
      Pages 179-192
  8. Dependability of Medical Systems

    1. An Approach to Trust Case Development
      J. Górski, A. Jarzêbowicz, R. Leszczyna, J. Miler, M. Olszewski
      Pages 193-206
    2. Reliable Data Replication in a Wireless Medical Emergency Network
      Joe Gorman, Ståle Walderhaug, Håvard Kvålen
      Pages 207-220
    3. Critical Feature Analysis of a Radiotherapy Machine
      Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
      Pages 221-234
  9. Fault Tolerance

    1. Byzantine Fault Tolerance, from Theory to Reality
      Kevin Driscoll, Brendan Hall, Håkan Sivencrona, Phil Zumsteg
      Pages 235-248

About these proceedings

Introduction

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Keywords

Code SAP communication computer safety configuration correct systems behavior data integrity dependable systems embedded systems formal methods modeling reactive systems reliable computing security systems verification

Editors and affiliations

  • Stuart Anderson
    • 1
  • Massimo Felici
    • 2
  • Bev Littlewood
    • 3
  1. 1.School of InformaticsThe University of Edinburgh LFCSEdinburghUK
  2. 2.School of InformaticsThe University of EdinburghEdinburghUK
  3. 3.Centre for Software ReliabilityCity University, Northampton SquareLondonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20126-7
  • Online ISBN 978-3-540-39878-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349