%0 Conference Proceedings %T Validation formelle d’implantation de patrons de sécurité : Application aux SCADA %+ Lab-STICC_ENSTAB_CACS_MOCS %A Fadi, Obeid %A Philippe, Dhaussy %< avec comité de lecture %B AFADL 2016 %C Besançon, France %8 2016-06-07 %D 2016 %K Sécurité de systèmes d’information — Patron de Sécurité — Vérification formelle — Model Checking — SCADA %Z Computer Science [cs]/Software Engineering [cs.SE] %Z Computer Science [cs]/Computation and Language [cs.CL] %Z Computer Science [cs]/Symbolic Computation [cs.SC]Conference papers %X Les systèmes de contrôle et d’acquisition de données (SCADA)sont des systèmes spécifiques, avec leurs propres exigences fonctionnelleset contraintes, dont la sécurité est quasi absente. Ce sont lessystèmes qui contrôlent la majeure partie de nos infrastructures industriellescritiques dont, par exemple, des centrales nucléaires ou chimiques.De nombreux travaux considèrent l’exploitation, dans les systèmesSCADA, de mécanismes protecteurs pour améliorer leur sécuritéet leur résistance aux attaques. Ces architectures renforcées peuventalors faire l’objet d’une modélisation logicielle composant les architectureset des modèles de patrons de sécurité. La combinaison entre unearchitecture SCADA et les patrons de sécurité doit alors être validéeau regard des exigences de sécurité à implanter. La sécurité SCADApeut bénéficier de cette combinaison qui respecte les exigences en tenantcompte de la complexité temporelle et spatiale. La vérificationformelle, par model-checking, des propriétés pour cette architecturepeut aider à garantir l’utilisation correcte des patrons de sécurité eten éliminant les éventuelles incohérences. Ce papier rend compte d’unepremière étape de travaux dans ce domaine. %G English %L hal-01326340 %U https://hal.science/hal-01326340 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ LAB-STICC %~ INSTITUTS-TELECOM