Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Résumé

Securing critical systems such as cyber physical systems (CPS) is an important feature especially when it comes to critical transmitted data. At the same time, the implementation of security counter-measures in such systems may impact other functional or non-functional concerns. In this context, we propose a model-based approach for securing critical systems at early design stage. This approach combines security analysis and mitigation solution proposals with multi-concern architectural evaluation. It exploits two views of security counter-measures patterns: abstract and concrete. The abstract view is used to select relevant solutions to security requirements on a logical point of view. Then, the concrete view helps the architect evaluating different possible implementation alternatives against other design constraints. The modeling is based on accepted OMG standards such as UML and MARTE. In this paper, the approach is illustrated on a SCADA (Supervisory Control and Data Acquisition) system case study and a tool chain based on Papyrus UML supports the approach.
Fichier principal
Vignette du fichier
motii_17147.pdf (735.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01485025 , version 1 (08-03-2017)

Identifiants

  • HAL Id : hal-01485025 , version 1
  • OATAO : 17147

Citer

Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel. Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), Sep 2016, Trondheim, Norway. pp. 375-389. ⟨hal-01485025⟩
935 Consultations
550 Téléchargements

Partager

Gmail Facebook X LinkedIn More