Description |
1 online resource |
Series |
Lecture notes in computer science ; 12234 |
|
LNCS sublibrary, SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 12234.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files -- A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN. Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop |
Summary |
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com |
Notes |
International conference proceedings |
|
"Due to the COVID-19 pandemic, SAFECOMP took place, for the first time, as a virtual conference on the Web, instead of being held in Lisbon, Portugal, as planned."--Preface |
|
Includes author index |
Subject |
Computer security -- Congresses
|
|
Computer organization -- Congresses
|
|
Software engineering -- Congresses
|
|
Programming languages (Electronic computers) -- Congresses
|
|
Computer logic -- Congresses
|
|
Application software -- Security measures -- Congresses
|
|
Artificial intelligence.
|
|
Software Engineering.
|
|
Algorithms & data structures.
|
|
Coding theory & cryptology.
|
|
Computer security.
|
|
Computer networking & communications.
|
|
Computers -- Intelligence (AI) & Semantics.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Hardware -- General.
|
|
Computers -- Security -- General.
|
|
Computers -- Networking -- General.
|
|
Computer logic
|
|
Computer organization
|
|
Computer security
|
|
Programming languages (Electronic computers)
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Casimiro, Antonio.
|
|
Ortmeier, Frank.
|
|
Bitsch, Friedemann.
|
|
Ferreira, Pedro
|
ISBN |
9783030545499 |
|
3030545490 |
|