Skip to Main content Skip to Navigation
New interface
Conference papers

Influence des mises à jour de sécurité sur le comportement d'un système critique

Résumé : Les systèmes cyber-physiques sont des systèmes critiques qui sont capable d’interagir avec leur environnement par le biais de capteurs et d’actionneurs. Ces éléments étant contrôlés par des logiciels, une cyber-attaque qui les toucherait aurait des conséquences inacceptables. Il convient donc de les protéger des attaques en déployant des contre-mesures, tout en s’assurant que les modifications apportées n’induisent pas à leur tour des comportements néfastes aux systèmes. Dans cet exposé, nous présenterons W-Sec, une méthode conçue par Mines de St-Eienne et Télécom Paris dans le cadre du projet européen SPARTA. Cette méthode vise à évaluer quantitativement, en amont de leur déploiement, les impacts que peuvent avoir des contremesures sur des systèmes cyber-physiques. Cette évaluation, qui se fait en termes de sûreté, de sécurité et de performances et s’appuie sur l’utilisation de TTool, un outil de modélisation et de vérification formelles développé au sein de l’équipe LabSoC de Télécom Paris.
Document type :
Conference papers
Complete list of metadata

https://hal-emse.ccsd.cnrs.fr/emse-03624165
Contributor : Florent Breuil Connect in order to contact the contributor
Submitted on : Wednesday, March 30, 2022 - 9:43:02 AM
Last modification on : Monday, June 27, 2022 - 3:02:27 AM

Identifiers

  • HAL Id : emse-03624165, version 1

Citation

Philippe Jaillon, Ludovic Apvrille. Influence des mises à jour de sécurité sur le comportement d'un système critique. Gestion de crise et numérique : nouvelles menaces et nouvelles solutions, Mar 2022, Palaiseau, France. ⟨emse-03624165⟩

Share

Metrics

Record views

33