Influence des mises à jour de sécurité sur le comportement d'un système critique - Mines Saint-Étienne
Conference Papers Year : 2022

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

Abstract

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.
No file

Dates and versions

emse-03624165 , version 1 (30-03-2022)

Identifiers

  • HAL Id : emse-03624165 , version 1

Cite

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⟩
95 View
0 Download

Share

More