Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Description

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security. Front Matter ....Pages I-XIV Front Matter ....Pages 1-3 Making the Case for Safety of Machine Learning in Highly Automated Driving (Simon Burton, Lydia Gauerhof, Christian Heinzemann)....Pages 5-16 A Thought Experiment on Evolution of Assurance Cases (Shuji Kinoshita, Yoshiki Kinoshita)....Pages 17-26 Using an Assurance Case Framework to Develop Security Strategy and Policies (Robin Bloomfield, Peter Bishop, Eoin Butler, Kate Netkachova)....Pages 27-38 Uniform Model Interface for Assurance Case Integration with System Models (Andrzej Wardziński, Paul Jones)....Pages 39-51 ExplicitCase: Integrated Model-Based Development of System and Safety Cases (Carmen Cârlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss)....Pages 52-63 D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders (Yutaka Matsuno)....Pages 64-69 Towards Combined Safety and Security Constraints Analysis (Daniel Pereira, Celso Hirata, Rodrigo Pagliares, Simin Nadjm-Tehrani)....Pages 70-80 Attack Modeling for System Security Analysis (Abdullah Altawairqi, Manuel Maarek)....Pages 81-86 Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-analysis (William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk)....Pages 87-93 Front Matter ....Pages 95-102 Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions (Loui Al Sardy, Tong Tang, Marc Spisländer, Francesca Saglietti)....Pages 103-113 Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts (Miren Illarramendi, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui)....Pages 114-126 A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project \(EMC^2\) (Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison et al.)....Pages 127-140 Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach (Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale)....Pages 141-156 GSN Support of Mixed-Criticality Systems Certification (Carlos-F. Nicolas, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui et al.)....Pages 157-172 Concepts for Reliable Communication in a Software-Defined Network Architecture (Ferdinand von Tüllenburg, Thomas Pfeiffenberger)....Pages 173-186 Combining Safety and Security Analysis for Industrial Collaborative Automation Systems (Sándor Plósz, Christoph Schmittner, Pál Varga)....Pages 187-198 Software Updates in Safety and Security Co-engineering (Imanol Mugarza, Jorge Parra, Eduardo Jacob)....Pages 199-210 Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002 (Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida)....Pages 211-224 Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes (Sebastian Müller, Peter Liggesmeyer)....Pages 225-236 Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems (Fabio L. Leite Jr., Rasmus Adler, Patrik Feth)....Pages 237-248 Safety-Aware Control of Swarms of Drones (Amin Majd, Elena Troubitsyna, Masoud Daneshtalab)....Pages 249-260 Front Matter ....Pages 261-264 Representation of Safety Standards with Semantic Technologies Used in Industrial Environments (Jose Luis de la Vara, Álvaro Gómez, Elena Gallego, Gonzalo Génova, Anabel Fraga)....Pages 265-272 Automotive SPICE, Safety and Cybersecurity Integration (Georg Macher, Alexander Much, Andreas Riel, Richard Messnarz, Christian Kreiner)....Pages 273-285 Safety and Security Co-engineering and Argumentation Framework (H. Martin, R. Bramberger, C. Schmittner, Z. Ma, T. Gruber, A. Ruiz et al.)....Pages 286-297 Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain (Timo Varkoi, Risto Nevalainen)....Pages 298-308 A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems (Nikita Bhardwaj, Peter Liggesmeyer)....Pages 309-316 Assuring Degradation Cascades of Car Platoons via Contracts (Irfan Sljivo, Barbara Gallina, Bernhard Kaiser)....Pages 317-329 Front Matter ....Pages 331-335 Transparent Personal Data Processing: The Road Ahead (Piero Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning)....Pages 337-349 The Use of Data Protection Regulatory Actions as a Data Source for Privacy Economics (Aaron Ceross, Andrew Simpson)....Pages 350-360 Automated Legal Compliance Checking by Security Policy Analysis (Silvio Ranise, Hari Siswantoro)....Pages 361-372 Access Control Policy Coverage Assessment Through Monitoring (Antonello Calabrò, Francesca Lonetti, Eda Marchetti)....Pages 373-383 Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning (Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi)....Pages 384-395 Security Flows in OAuth 2.0 Framework: A Case Study (Marios Argyriou, Nicola Dragoni, Angelo Spognardi)....Pages 396-406 PolEnA: Enforcing Fine-grained Permission Policies in Android (Gabriele Costa, Federico Sinigaglia, Roberto Carbone)....Pages 407-414 Fast Estimation of Privacy Risk in Human Mobility Data (Roberto Pellungrini, Luca Pappalardo, Francesca Pratesi, Anna Monreale)....Pages 415-426 Security and Privacy in the Automotive Domain: A Technical and Social Analysis (Zhendong Ma, Walter Seböck, Bettina Pospisil, Christoph Schmittner, Thomas Gruber)....Pages 427-434 One Click Privacy for Online Social Networks (Philipp Hehnle, Pascal Keilbach, Hyun-Jin Lee, Sabrina Lejn, Daniel Steidinger, Marina Weinbrenner et al.)....Pages 435-442 Front Matter ....Pages 443-446 Modeling Rover Communication Using Hierarchical State Machines with Scala (Klaus Havelund, Rajeev Joshi)....Pages 447-461 Towards Component-Based (max,+) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models (Mladen Skelin, Marc Geilen)....Pages 462-476 Back Matter ....Pages 477-478