OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Motii, Anas and Lanusse, Agnes and Hamid, Brahim and Bruel, Jean-Michel Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. (2016) In: TIPS Workshop in 35th International Conference on Computer Safety, Reliability and Security (Safecomp 2016), 20 September 2016 - 23 September 2016 (Trondheim, Norway).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
753kB

Official URL: http://dx.doi.org/10.1007/978-3-319-45480-1_30

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 9923 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-45479-5 The original PDF is available at: http://link.springer.com/chapter/10.1007/978-3-319-45480-1_30
HAL Id:hal-01485025
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Commissariat à l'Energie Atomique et aux énergies alternatives - CEA (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:24 Feb 2017 14:56

Repository Staff Only: item control page