Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

Computer Safety, Reliability, and Security

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

Editors:

  1. Stuart Anderson

    1. School of Informatics, The University of Edinburgh LFCS, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Massimo Felici

    1. School of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bev Littlewood

    1. Centre for Software Reliability, City University, Northampton Square, London, 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 2788)

Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security

Conference proceedings info: SAFECOMP 2003.

Sections

Buy it now

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 papers)

  1. Front Matter

    PDF

  2. Keynote Talk

    1. Issues in Safety Assurance

      • Martyn Thomas
      Pages 1-7

  3. Formal Methods

    2. Visual Modeling and Verification of Distributed Reactive Systems

      • A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
      Pages 22-34

    3. 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

    4. 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

    3. 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
Back to top

Other Volumes

  1. Computer Safety, Reliability, and Security

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Informatics, The University of Edinburgh LFCS, Edinburgh, UK

    Stuart Anderson

  • School of Informatics, The University of Edinburgh, Edinburgh, UK

    Massimo Felici

  • Centre for Software Reliability, City University, Northampton Square, London, UK

    Bev Littlewood

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation