Computer Safety, Reliability, and Security

D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders

Matsuno, Yutaka

Seiten 64-69

Towards Combined Safety and Security Constraints Analysis

Pereira, Daniel (et al.)

Seiten 70-80

Attack Modeling for System Security Analysis

Altawairqi, Abdullah (et al.)

Seiten 81-86

Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-analysis

Temple, William G. (et al.)

Seiten 87-93

Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions

Al Sardy, Loui (et al.)

Seiten 103-113

Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts

Illarramendi, Miren (et al.)

Seiten 114-126

A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project $$EMC^2$$

Isakovic, Haris (et al.)

Seiten 127-140

Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach

Antonante, Pasquale (et al.)

Seiten 141-156

GSN Support of Mixed-Criticality Systems Certification

Nicolas, Carlos-F. (et al.)

Seiten 157-172

Concepts for Reliable Communication in a Software-Defined Network Architecture

Tüllenburg, Ferdinand (et al.)

Seiten 173-186

Combining Safety and Security Analysis for Industrial Collaborative Automation Systems

Plósz, Sándor (et al.)

Seiten 187-198

Software Updates in Safety and Security Co-engineering

Mugarza, Imanol (et al.)

Seiten 199-210

Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002

Kawanishi, Yasuyuki (et al.)

Seiten 211-224

Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes

Müller, Sebastian (et al.)

Seiten 225-236

Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems

Leite, Fabio L., Jr. (et al.)

Seiten 237-248

Safety-Aware Control of Swarms of Drones

Majd, Amin (et al.)

Seiten 249-260

Representation of Safety Standards with Semantic Technologies Used in Industrial Environments

Vara, Jose Luis (et al.)

Seiten 265-272

Automotive SPICE, Safety and Cybersecurity Integration

Macher, Georg (et al.)

Seiten 273-285

Safety and Security Co-engineering and Argumentation Framework

Martin, H. (et al.)

Seiten 286-297

Process Assessment in Supplier Selection for Safety-Critical Systems in Nuclear Domain

Varkoi, Timo (et al.)

Seiten 298-308

A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems

Bhardwaj, Nikita (et al.)

Seiten 309-316

Assuring Degradation Cascades of Car Platoons via Contracts

Sljivo, Irfan (et al.)

Seiten 317-329

Transparent Personal Data Processing: The Road Ahead

Bonatti, Piero (et al.)

Seiten 337-349

The Use of Data Protection Regulatory Actions as a Data Source for Privacy Economics

Ceross, Aaron (et al.)

Seiten 350-360

Automated Legal Compliance Checking by Security Policy Analysis

Ranise, Silvio (et al.)

Seiten 361-372

Access Control Policy Coverage Assessment Through Monitoring

Calabrò, Antonello (et al.)

Seiten 373-383

Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning

Giorgi, Giacomo (et al.)

Seiten 384-395

Security Flows in OAuth 2.0 Framework: A Case Study

Argyriou, Marios (et al.)

Seiten 396-406

PolEnA: Enforcing Fine-grained Permission Policies in Android

Costa, Gabriele (et al.)

Seiten 407-414

Fast Estimation of Privacy Risk in Human Mobility Data

Pellungrini, Roberto (et al.)

Seiten 415-426

Security and Privacy in the Automotive Domain: A Technical and Social Analysis

Ma, Zhendong (et al.)

Seiten 427-434

One Click Privacy for Online Social Networks

Hehnle, Philipp (et al.)

Seiten 435-442

Modeling Rover Communication Using Hierarchical State Machines with Scala

Havelund, Klaus (et al.)

Seiten 447-461

Towards Component-Based (max,+) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models

Skelin, Mladen (et al.)

Seiten 462-476