Titlebook: Security of Industrial Control Systems and Cyber Physical Systems; First Workshop, Cybe Adrien Bécue,Nora Cuppens-Boulahia,Costas Lambrino

无所不知

conscience

Trust Establishment in Cooperating Cyber-Physical Systemsained with a prototypical realisation, we evaluate and analyze the amount of overhead data transmission between event source and data verification system needed for trust establishment. We propose an efficient synchronisation scheme for system integrity data, reducing network traffic as well as verification effort.

GRILL

Security Monitoring for Industrial Control Systemspropose a monitoring framework for the run-time verification of ICS. The framework is based on a formal language that supports the precise specification of high-level safety requirements as well as of the relevant threat model, and on a passive monitoring technique that detects and notifies if the system state is close to a critical state.

事物的方面

Remote Attestation for Embedded Systemsting similar functionality using an ARM processor secure environment is discussed. The implementation is done using ARM processor emulator which includes emulation for ARM TrustZone Trusted Execution Environment (TEE) providing isolated trusted component functionality. Challenges and security issues of the chosen approach are discussed.

马具

流逝

An Attack Execution Model for Industrial Control Systems Security Assessmentem before the next maintenance period. Given a specific attacker profile, we generate all potential attacker actions that could be executed in the system. Our tool outputs the probability and the time needed to compromise a target equipment or services in the system.

Perigee

使入迷

在前面