Computer safety, reliability, and security : SAFECOMP 2019 workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, proceedings /: SAFECOMP 2019 workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, proceedings. ([2019])

• Record Type: Book
• Further Information: Note: Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch (eds.).
• Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970-; Gashi, Ilir; Schoitsch, Erwin; Bitsch, Friedemann
• Other Names: International Conference on Computer Safety, Reliability, and Security, 38th
• Contents: 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019).- Combining GSN and STPA for safety arguments.- A modelling approach for system life cycles assurance.- Contract-based Modular Safety Cases for Incremental Certification of Product Lines.- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019).- Comparative Evaluation of Security Fuzzing Approaches.- Assuring compliance with protection profiles with Threatget.- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.- Combined Approach for Safety and Security.- Towards Integrated Quantitative Security and Safety Risk Assessment.- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.- Increasing Safety of Neural Networks in Medical Devices.- Smart Wristband for Voting.- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019).- Automotive Cybersecurity standards - relation and overview.- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems.- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance.- The SISTER approach for Verification and Validation: a lightweight process for reusable results.- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018).- Demo: CANDY CREAM.- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM.- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies.- Enhancing CAN security by means of lightweight stream-ciphers and protocols.- Analysis of Security Overhead in Broadcast V2V Communications.- You overtrust your printer.- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).- Three Reasons Why: Framing the Challenges of Assuring AI.- Improving ML Safety with Partial Specifications.- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies.- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper).- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.- Adaptive Deployment of Safety Monitors for Autonomous Systems.- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates.- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.- Bayesian Uncertainty Quantification with Synthetic Data.- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.- The Moral Machine: Is It Moral.
• Publisher Details: Cham : Springer
• Publication Date: 2019
• Copyright Date: 2019
• Extent: 1 online resource, illustrations (some color)
• Subjects: 005.8; Computer security -- Congresses; Computer organization -- Congresses; Software engineering -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer logic -- Congresses; Application software -- Security measures -- Congresses; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783030262501; 3030262502
• Related ISBNs: 9783030262495
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 16, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.