Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Validation formelle d’implantation de patrons de sécurité : Application aux SCADA

Obeid Fadi 1, 2 Dhaussy Philippe 1, 2
1 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC_ENSTAB_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
Abstract : Les systèmes de contrôle et d’acquisition de données (SCADA) sont des systèmes spécifiques, avec leurs propres exigences fonctionnelles et contraintes, dont la sécurité est quasi absente. Ce sont les systèmes qui contrôlent la majeure partie de nos infrastructures industrielles critiques dont, par exemple, des centrales nucléaires ou chimiques. De nombreux travaux considèrent l’exploitation, dans les systèmes SCADA, de mécanismes protecteurs pour améliorer leur sécurité et leur résistance aux attaques. Ces architectures renforcées peuvent alors faire l’objet d’une modélisation logicielle composant les architectures et des modèles de patrons de sécurité. La combinaison entre une architecture SCADA et les patrons de sécurité doit alors être validée au regard des exigences de sécurité à implanter. La sécurité SCADA peut bénéficier de cette combinaison qui respecte les exigences en tenant compte de la complexité temporelle et spatiale. La vérification formelle, par model-checking, des propriétés pour cette architecture peut aider à garantir l’utilisation correcte des patrons de sécurité et en éliminant les éventuelles incohérences. Ce papier rend compte d’une première étape de travaux dans ce domaine.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01326340
Contributeur : Annick Billon-Coat <>
Soumis le : vendredi 3 juin 2016 - 14:41:43
Dernière modification le : mercredi 24 juin 2020 - 16:19:35

Identifiants

  • HAL Id : hal-01326340, version 1

Citation

Obeid Fadi, Dhaussy Philippe. Validation formelle d’implantation de patrons de sécurité : Application aux SCADA. AFADL 2016, Jun 2016, Besançon, France. ⟨hal-01326340⟩

Partager

Métriques

Consultations de la notice

510