↓ 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 Making the Case for Safety of Machine Learning in Highly Automated Driving
  3. Altmetric Badge
    Chapter 2 A Thought Experiment on Evolution of Assurance Cases
  4. Altmetric Badge
    Chapter 3 Using an Assurance Case Framework to Develop Security Strategy and Policies
  5. Altmetric Badge
    Chapter 4 Uniform Model Interface for Assurance Case Integration with System Models
  6. Altmetric Badge
    Chapter 5 ExplicitCase: Integrated Model-Based Development of System and Safety Cases
  7. Altmetric Badge
    Chapter 6 D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders
  8. Altmetric Badge
    Chapter 7 Towards Combined Safety and Security Constraints Analysis
  9. Altmetric Badge
    Chapter 8 Attack Modeling for System Security Analysis
  10. Altmetric Badge
    Chapter 9 Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-analysis
  11. Altmetric Badge
    Chapter 10 Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions
  12. Altmetric Badge
    Chapter 11 Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts
  13. Altmetric Badge
    Chapter 12 A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$
  14. Altmetric Badge
    Chapter 13 Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach
  15. Altmetric Badge
    Chapter 14 GSN Support of Mixed-Criticality Systems Certification
  16. Altmetric Badge
    Chapter 15 Concepts for Reliable Communication in a Software-Defined Network Architecture
  17. Altmetric Badge
    Chapter 16 Combining Safety and Security Analysis for Industrial Collaborative Automation Systems
  18. Altmetric Badge
    Chapter 17 Software Updates in Safety and Security Co-engineering
  19. Altmetric Badge
    Chapter 18 Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002
  20. Altmetric Badge
    Chapter 19 Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes
  21. Altmetric Badge
    Chapter 20 Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems
  22. Altmetric Badge
    Chapter 21 Safety-Aware Control of Swarms of Drones
  23. Altmetric Badge
    Chapter 22 Representation of Safety Standards with Semantic Technologies Used in Industrial Environments
  24. Altmetric Badge
    Chapter 23 Automotive SPICE, Safety and Cybersecurity Integration
  25. Altmetric Badge
    Chapter 24 Safety and Security Co-engineering and Argumentation Framework
  26. Altmetric Badge
    Chapter 25 Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain
  27. Altmetric Badge
    Chapter 26 A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems
  28. Altmetric Badge
    Chapter 27 Assuring Degradation Cascades of Car Platoons via Contracts
  29. Altmetric Badge
    Chapter 28 Transparent Personal Data Processing: The Road Ahead
  30. Altmetric Badge
    Chapter 29 The Use of Data Protection Regulatory Actions as a Data Source for Privacy Economics
  31. Altmetric Badge
    Chapter 30 Automated Legal Compliance Checking by Security Policy Analysis
  32. Altmetric Badge
    Chapter 31 Access Control Policy Coverage Assessment Through Monitoring
  33. Altmetric Badge
    Chapter 32 Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning
  34. Altmetric Badge
    Chapter 33 Security Flows in OAuth 2.0 Framework: A Case Study
  35. Altmetric Badge
    Chapter 34 PolEnA: Enforcing Fine-grained Permission Policies in Android
  36. Altmetric Badge
    Chapter 35 Fast Estimation of Privacy Risk in Human Mobility Data
  37. Altmetric Badge
    Chapter 36 Security and Privacy in the Automotive Domain: A Technical and Social Analysis
  38. Altmetric Badge
    Chapter 37 One Click Privacy for Online Social Networks
  39. Altmetric Badge
    Chapter 38 Modeling Rover Communication Using Hierarchical State Machines with Scala
  40. Altmetric Badge
    Chapter 39 Towards Component-Based (max,+) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
5 X users
patent
2 patents

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
75 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 2017
DOI 10.1007/978-3-319-66284-8
ISBNs
978-3-31-966283-1, 978-3-31-966284-8
Editors

Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

X Demographics

X Demographics

The data shown below were collected from the profiles of 5 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 75 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 16 21%
Student > Master 16 21%
Lecturer 5 7%
Researcher 5 7%
Professor > Associate Professor 4 5%
Other 6 8%
Unknown 23 31%
Readers by discipline Count As %
Engineering 24 32%
Computer Science 22 29%
Decision Sciences 1 1%
Business, Management and Accounting 1 1%
Medicine and Dentistry 1 1%
Other 1 1%
Unknown 25 33%