Process-Aware Model-based Intrusion Detection System on Filtering Approach: Further Investigations

Beaudet, Amaury; Sicard, Franck; Escudero, Cédric; Zamaï, Éric

doi:10.1109/icit45562.2020.9067195

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to the increasing communication flow, CPSs are vulnerable to malicious attacks which can gather, modify or nullify data exchanges [2]. Those intended modifications can lead the system into critical states in which the controller issues inappropriate orders resulting in the blockage of the process [3] or in physical damages to the system. The development of control strategies robust to these attacks is a crucial point.…”

Section: Introductionmentioning

confidence: 99%

Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets

Thibert,

Faraut,

Amari

2023

2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) brought connectivity to factories, and with connectivity comes a risk of cyber attack. CPSs are vulnerable to malicious attacks in which an attacker is inserted between a process and its control unit. Some papers have proposed to model attacked CPSs with discrete event systems (DES), have successfully modeled attacked systems and characterised different types of attacks. Nevertheless, these papers tend to treat attacks after they have become problematic. The objective of this paper is to extend previous works on cyber attack in DES to build models for diagnosis of attacks. We will design a model using Labeled Petri Nets and construct a reachability graph of an attacked net in order to enrich a diagnosis model which will allow the detection of attacks before they completely destabilise the system. This construction is illustrated by an industrial example.

show abstract

Section: Introductionmentioning

confidence: 99%