2023 |
Farah, K.; Chabir, K.; Abdelkrim, M. N. High level Petri nets-based proposal of an integrated intrusion detection and prevention mechanism in network controlled systems Article de journal Dans: IET Communications, vol. 17, no. 4, p. 469-477, 2023, ISSN: 17518628, (cited By 0). Résumé | Liens | BibTeX | Étiquettes: Colored Petri Nets; Controlled system; Fault prevention; Faults diagnosis; High-level Petri nets; In networks; Intrusion detection and prevention; Network-controlled; Performance; Sensor fault detection, Fault detection; Intrusion detection; Network security, Petri nets @article{Farah2023469, The authors’ work deals with modelling with coloured Petri nets (CPN) of network controlled systems (NCS) and exposes a proposal of a sensor fault detection and prevention mechanism. In NCS, the network must be viewed as part of the system and not just a means of communication. For this, two issues must be considered. The first consists of adapting the control and diagnostic laws to the performance of the network. The second is to guarantee the performance of the system. Each control loop containing a network is vulnerable to faults and cyber attacks and malicious users can intercept and listen to data during transmission. For that reason, it is essential to protect transmitted data against unauthorized access and modification and to diagnose components. In this paper, the authors presented a model with CPN of a NCS, the authors proposed a sensor fault detection and correction mechanism, then the authors injected a sensor fault and the authors tested the effectiveness of the proposed mechanism in detecting that fault and correcting its influence. Simulation results proved the success of the preventive mechanism in overcoming the influence of the fault and returning to normal behaviour. © 2022 The Authors. IET Communications published by John Wiley & Sons Ltd on behalf of The Institution of Engineering and Technology. |
2009 |
Zouinkhi, A.; Bajic, E.; Zidi, R.; Gayed, M. B.; Rondeau, E.; Abdelkrim, M. N. Petri nets modelling of active products cooperation for active security management Conférence IEEE Computer Society, 2009, ISBN: 9781424443468, (cited By 9). Résumé | Liens | BibTeX | Étiquettes: Active product; Active securities; Chemical storage sector; Cooperation; Cooperation mechanism; Environmental security; Human operator models; Security, Petri nets, Sensor networks @conference{Zouinkhi20091513, This article presents an approach of modeling by Petri Nets of the cooperation between active products that are equipped with sensor networks devices providing ambient communication and sensing capabilities. Such active products are able to control the environmental security level in ambient intelligence context of a hazardous susbstances warehouse. The proposed concept of active products is supported by a model that allow the objects to interact each other in an autonomous, real time, transparent and intelligent way, without any human help. We introduce the term of active security in the industrial chemical storage sector, taken in charge directly by the active product subjugated by a constrained security level. Petri Net modeling activity is conducted with the CPN-Tools software. We propose an Active product model and a human operator model and the associated cooperation mechanisms using ambient communication messaging. ©2009 IEEE. |
Publications
2023 |
High level Petri nets-based proposal of an integrated intrusion detection and prevention mechanism in network controlled systems Article de journal Dans: IET Communications, vol. 17, no. 4, p. 469-477, 2023, ISSN: 17518628, (cited By 0). |
2009 |
Petri nets modelling of active products cooperation for active security management Conférence IEEE Computer Society, 2009, ISBN: 9781424443468, (cited By 9). |