More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Computer Science

Computer Safety, Reliability, and Security

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

Editors: Heisel, Maritta, Liggesmeyer, Peter, Wittmann, Stefan (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-30138-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-23176-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (27 chapters)

  • Why Safety and Security Should and Will Merge

    Pfitzmann, Andreas

    Pages 1-2

  • The Deconstruction of Safety Arguments Through Adversarial Counter-Argument

    Armstrong, James M. (et al.)

    Pages 3-16

  • Using Fuzzy Self-Organising Maps for Safety Critical Systems

    Kurd, Zeshan (et al.)

    Pages 17-30

  • Using Formal Methods in a Retrospective Safety Case

    Eriksson, Lars-Henrik

    Pages 31-44

  • A Highly Fault Detectable Cache Architecture for Dependable Computing

    Zarandi, Hamid R. (et al.)

    Pages 45-59

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-30138-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-23176-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security
Book Subtitle
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
Editors
  • Maritta Heisel
  • Peter Liggesmeyer
  • Stefan Wittmann
Series Title
Lecture Notes in Computer Science
Series Volume
3219
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30138-7
DOI
10.1007/b100227
Softcover ISBN
978-3-540-23176-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 344
Topics