Title Computer safety, reliability, and security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings / António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (eds.)

Published Cham, Switzerland : Springer, 2020

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

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

Other Titles SAFECOMP 2020

  Permalink