|
|
|
|
| LEADER |
06753nam a22006375i 4500 |
| 001 |
978-3-030-54549-9 |
| 003 |
DE-He213 |
| 005 |
20210705191155.0 |
| 007 |
cr nn 008mamaa |
| 008 |
200819s2020 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030545499
|9 978-3-030-54549-9
|
| 024 |
7 |
|
|a 10.1007/978-3-030-54549-9
|2 doi
|
| 050 |
|
4 |
|a QA76.9.C643
|
| 050 |
|
4 |
|a TK5105.5-5105.9
|
| 072 |
|
7 |
|a UT
|2 bicssc
|
| 072 |
|
7 |
|a COM043000
|2 bisacsh
|
| 072 |
|
7 |
|a UT
|2 thema
|
| 082 |
0 |
4 |
|a 004.6
|2 23
|
| 245 |
1 |
0 |
|a Computer Safety, Reliability, and Security
|h [electronic resource] :
|b 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
|c edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira.
|
| 250 |
|
|
|a 1st ed. 2020.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2020.
|
| 300 |
|
|
|a XXIII, 450 p. 251 illus., 78 illus. in color.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering ;
|v 12234
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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.
|
| 650 |
|
0 |
|a Computer organization.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Microprogramming .
|
| 650 |
|
0 |
|a Data encryption (Computer science).
|
| 650 |
|
0 |
|a Computer security.
|
| 650 |
1 |
4 |
|a Computer Systems Organization and Communication Networks.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I13006
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I21000
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I14002
|
| 650 |
2 |
4 |
|a Control Structures and Microprogramming.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I12018
|
| 650 |
2 |
4 |
|a Cryptology.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I28020
|
| 650 |
2 |
4 |
|a Systems and Data Security.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I28060
|
| 700 |
1 |
|
|a Casimiro, António.
|e editor.
|0 (orcid)0000-0002-5522-5739
|1 https://orcid.org/0000-0002-5522-5739
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Ortmeier, Frank.
|e editor.
|0 (orcid)0000-0001-6186-4142
|1 https://orcid.org/0000-0001-6186-4142
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Bitsch, Friedemann.
|e editor.
|0 (orcid)0000-0001-6152-4121
|1 https://orcid.org/0000-0001-6152-4121
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Ferreira, Pedro.
|e editor.
|0 (orcid)0000-0003-2369-0115
|1 https://orcid.org/0000-0003-2369-0115
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer Nature eBook
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030545482
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030545505
|
| 830 |
|
0 |
|a Programming and Software Engineering ;
|v 12234
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-54549-9
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-SXCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (SpringerNature-11645)
|
| 950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|
