Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Wednesday, March 8, 2017 - 10:09:53 AM
Last modification on : Monday, July 4, 2022 - 10:09:29 AM
Long-term archiving on: : Friday, June 9, 2017 - 12:38:14 PM


Files produced by the author(s)


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


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⟩



Record views


Files downloads