Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Maritta Heisel

    1. Faculty of Engineering, Department of Computer Science and Cognitive Science, Workgroup Software Engineering, University Duisburg-Essen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Liggesmeyer

    1. Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stefan Wittmann

    1. Bundesamt fuer Sicherheit in der Informationstechnik, Bonn, Germany

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2004.

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

  1. Invited Talk

    1. Automotive Telematics – Road Safety Versus IT Security?

      • Ralf G. Herrtwich
      Pages 239-239

  2. Formal Methods and Systems

    1. Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

      • Holger Pfeifer, Friedrich W. von Henke
      Pages 240-253

    2. Refinement of Fault Tolerant Control Systems in B

      • Linas Laibinis, Elena Troubitsyna
      Pages 254-268

    3. Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems

      • Michael Vollmer
      Pages 269-282

  3. Security and Quality of Service

    1. An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth

      • Alessandro Aldini, Marco Bernardo
      Pages 283-296

    2. Dependability Benchmarking of Web-Servers

      • João Durães, Marco Vieira, Henrique Madeira
      Pages 297-310

  4. Hazard and Risk Analysis

    1. An Approach for Model-Based Risk Assessment

      • Bjørn Axel Gran, Rune Fredriksen, Atoosa P. -J. Thunem
      Pages 311-324

    2. How Explicit Are the Barriers to Failure in Safety Arguments?

      • Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp
      Pages 325-337

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

Editors and Affiliations

  • Faculty of Engineering, Department of Computer Science and Cognitive Science, Workgroup Software Engineering, University Duisburg-Essen, Germany

    Maritta Heisel

  • Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany

    Peter Liggesmeyer

  • Bundesamt fuer Sicherheit in der Informationstechnik, Bonn, Germany

    Stefan Wittmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation