↓ Skip to main content

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 FISSC: A Fault Injection and Simulation Secure Collection
  3. Altmetric Badge
    Chapter 2 FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools
  4. Altmetric Badge
    Chapter 3 Using Process Models in System Assurance
  5. Altmetric Badge
    Chapter 4 The Indispensable Role of Rationale in Safety Standards
  6. Altmetric Badge
    Chapter 5 Composition of Safety Argument Patterns
  7. Altmetric Badge
    Chapter 6 Formal Analysis of Security Properties on the OPC-UA SCADA Protocol
  8. Altmetric Badge
    Chapter 7 A Dedicated Algorithm for Verification of Interlocking Systems
  9. Altmetric Badge
    Chapter 8 Catalogue of System and Software Properties
  10. Altmetric Badge
    Chapter 9 A High-Assurance, High-Performance Hardware-Based Cross-Domain System
  11. Altmetric Badge
    Chapter 10 Using STPA in an ISO 26262 Compliant Process
  12. Altmetric Badge
    Chapter 11 A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context
  13. Altmetric Badge
    Chapter 12 Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures
  14. Altmetric Badge
    Chapter 13 Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis
  15. Altmetric Badge
    Chapter 14 Automatic Invariant Selection for Online Anomaly Detection
  16. Altmetric Badge
    Chapter 15 Modelling Cost-Effectiveness of Defenses in Industrial Control Systems
  17. Altmetric Badge
    Chapter 16 Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling
  18. Altmetric Badge
    Chapter 17 Towards Security-Explicit Formal Modelling of Safety-Critical Systems
  19. Altmetric Badge
    Chapter 18 A New SVM-Based Fraud Detection Model for AMI
  20. Altmetric Badge
    Chapter 19 Exploiting Trust in Deterministic Builds
  21. Altmetric Badge
    Chapter 20 Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates
  22. Altmetric Badge
    Chapter 21 Effective Static and Dynamic Fault Tree Analysis
  23. Altmetric Badge
    Chapter 22 SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
  24. Altmetric Badge
    Chapter 23 Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain
  25. Altmetric Badge
    Chapter 24 Towards Cloud-Based Enactment of Safety-Related Processes
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
21 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Safety, Reliability, and Security
Published by
Springer International Publishing, September 2016
DOI 10.1007/978-3-319-45477-1
ISBNs
978-3-31-945476-4, 978-3-31-945477-1
Editors

Skavhaug, Amund, Guiochet, Jérémie, Bitsch, Friedemann

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 21 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 21 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 29%
Student > Master 5 24%
Researcher 3 14%
Student > Doctoral Student 2 10%
Professor 1 5%
Other 1 5%
Unknown 3 14%
Readers by discipline Count As %
Computer Science 13 62%
Engineering 3 14%
Business, Management and Accounting 1 5%
Unknown 4 19%