Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

A New Segmentation Method for Integrated ICS (Short Paper)

 Khaoula Es-Salhi , David Espes , Nora Cuppens
PST 2017 : 15th Annual Conference on Privacy, Security and Trust (PST), Aug 2017, Calgary, Canada. ⟨10.1109/pst.2017.00020⟩
Communication dans un congrès hal-01923470v1

Analysis of ICS and Corporate system Integration vulnerabilities

 Khaoula Es-Salhi , Nora Cuppens-Bouhlahia , David Espes , Frederic Cuppens
14th International Conference on Embedded Systems, Cyber-physical Systems, and Applications (ESCS'2016), Jul 2016, Las Vegas, United States
Communication dans un congrès hal-01411587v1
Image document

Segmentation and segregation mechanisms and models to secure the integration of Industrial control Systems (ICS) with corporate system

 Khaoula Es-Salhi
Systems and Control [cs.SY]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0143⟩
Thèse tel-02298847v1
Image document

KriQL: a query language for the diagnosis of transition systems

 Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès hal-01203649v1
Image document

A new Segmentation Method for Integrated ICS

 Khaoula Es-Salhi , David Espes , Nora Cuppens
PST 2017 : 15th International Conference on Privacy, Security and Trust, Aug 2017, Calgary, Canada. ⟨10.1109/PST.2017.00020⟩
Communication dans un congrès hal-01872432v1
Image document

Relational and graph queries over a transition system

 Siham Rim Boudaoud , Khaoula Es-Salhi , Vincent Ribaud , Ciprian Teodorov
International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩
Communication dans un congrès hal-01203662v1
Page :