دانلود کتاب Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

فهرست مطالب :

Front Matter....Pages I-XV
Front Matter....Pages 1-1
FISSC: A Fault Injection and Simulation Secure Collection....Pages 3-11
FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools....Pages 12-23
Front Matter....Pages 25-25
Using Process Models in System Assurance....Pages 27-38
The Indispensable Role of Rationale in Safety Standards....Pages 39-50
Composition of Safety Argument Patterns....Pages 51-63
Front Matter....Pages 65-65
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol....Pages 67-75
A Dedicated Algorithm for Verification of Interlocking Systems....Pages 76-87
Catalogue of System and Software Properties....Pages 88-101
A High-Assurance, High-Performance Hardware-Based Cross-Domain System....Pages 102-113
Front Matter....Pages 115-115
Using STPA in an ISO 26262 Compliant Process....Pages 117-129
A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context....Pages 130-141
Front Matter....Pages 143-143
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures....Pages 145-158
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis....Pages 159-171
Automatic Invariant Selection for Online Anomaly Detection....Pages 172-183
Front Matter....Pages 185-185
Modelling Cost-Effectiveness of Defenses in Industrial Control Systems....Pages 187-200
Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling....Pages 201-212
Towards Security-Explicit Formal Modelling of Safety-Critical Systems....Pages 213-225
A New SVM-Based Fraud Detection Model for AMI....Pages 226-237
Exploiting Trust in Deterministic Builds....Pages 238-249
Front Matter....Pages 251-251
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates....Pages 253-265
Front Matter....Pages 251-251
Effective Static and Dynamic Fault Tree Analysis....Pages 266-280
Front Matter....Pages 281-281
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration....Pages 283-295
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain....Pages 296-308
Towards Cloud-Based Enactment of Safety-Related Processes....Pages 309-321
Back Matter....Pages 323-324