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

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