Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Description

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering Front Matter ....Pages i-xvi Front Matter ....Pages 1-3 Combining GSN and STPA for Safety Arguments (Celso Hirata, Simin Nadjm-Tehrani)....Pages 5-15 A Modelling Approach for System Life Cycles Assurance (Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama)....Pages 16-27 Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts (Damir Nešić, Mattias Nyberg)....Pages 28-40 Front Matter ....Pages 41-48 Comparative Evaluation of Security Fuzzing Approaches (Loui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich)....Pages 49-61 Assuring Compliance with Protection Profiles with ThreatGet (Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner)....Pages 62-73 A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems (Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux)....Pages 74-86 Combined Approach for Safety and Security (Siddhartha Verma, Thomas Gruber, Christoph Schmittner, P. Puschner)....Pages 87-101 Towards Integrated Quantitative Security and Safety Risk Assessment (Jürgen Dobaj, Christoph Schmittner, Michael Krisper, Georg Macher)....Pages 102-116 Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications (Torge Hinrichs, Bettina Buth)....Pages 117-126 Increasing Safety of Neural Networks in Medical Devices (Uwe Becker)....Pages 127-136 Smart Wristband for Voting (Martin Pfatrisch, Linda Grefen, Hans Ehm)....Pages 137-147 Front Matter ....Pages 149-152 Automotive Cybersecurity Standards - Relation and Overview (Christoph Schmittner, Georg Macher)....Pages 153-165 A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems (Nikita Bhardwaj Haupt, Peter Liggesmeyer)....Pages 166-177 Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance (Nikita Johnson, Tim Kelly)....Pages 178-184 The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results (Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari et al.)....Pages 185-197 Front Matter ....Pages 199-202 Demo: CANDY CREAM (Gianpiero Costantino, Ilaria Matteucci)....Pages 203-209 CarINA - Car Sharing with IdeNtity Based Access Control Re-enforced by TPM (Bogdan Groza, Lucian Popa, Pal-Stefan Murvay)....Pages 210-222 Combining Safety and Security in Autonomous Cars Using Blockchain Technologies (Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz)....Pages 223-234 Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols (Aymen Boudguiga, Jerome Letailleur, Renaud Sirdey, Witold Klaudel)....Pages 235-250 Analysis of Security Overhead in Broadcast V2V Communications (Mujahid Muhammad, Paul Kearney, Adel Aneiba, Andreas Kunz)....Pages 251-263 You Overtrust Your Printer (Giampaolo Bella, Pietro Biondi)....Pages 264-274 Front Matter ....Pages 275-280 Three Reasons Why: Framing the Challenges of Assuring AI (Xinwei Fang, Nikita Johnson)....Pages 281-287 Improving ML Safety with Partial Specifications (Rick Salay, Krzysztof Czarnecki)....Pages 288-300 An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles (John Törnblom, Simin Nadjm-Tehrani)....Pages 301-313 RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies (Vahid Behzadan, William Hsu)....Pages 314-325 A Safety Standard Approach for Fully Autonomous Vehicles (Philip Koopman, Uma Ferrell, Frank Fratrik, Michael Wagner)....Pages 326-332 Open Questions in Testing of Learned Computer Vision Functions for Automated Driving (Matthias Woehrle, Christoph Gladisch, Christian Heinzemann)....Pages 333-345 Adaptive Deployment of Safety Monitors for Autonomous Systems (Nico Hochgeschwender)....Pages 346-357 Uncertainty Wrappers for Data-Driven Models (Michael Kläs, Lena Sembach)....Pages 358-364 Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions (Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins)....Pages 365-377 Bayesian Uncertainty Quantification with Synthetic Data (Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki)....Pages 378-390 A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence (Jacques Robin, Raul Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu)....Pages 391-397 Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests (Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto)....Pages 398-404 The Moral Machine: Is It Moral? (A. M. Nascimento, L. F. Vismari, A. C. M. Queiroz, P. S. Cugnasca, J. B. Camargo Jr., J. R. de Almeida Jr.)....Pages 405-410 Correction to: Combining GSN and STPA for Safety Arguments (Celso Hirata, Simin Nadjm-Tehrani)....Pages C1-C1 Back Matter ....Pages 411-412