OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Belloir, Nicolas and Chiprianov, Vanea and Ahmad, Manzoor and Munier, Manuel and Gallon, Laurent and Bruel, Jean-Michel Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. (2014) In: 2nd International Worksop on Software Enginering for Systems-of-Systems (SeSoS 2014), 26 August 2014 (Vienna, Austria).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
205kB

Official URL: http://dx.doi.org/10.1145/2642803.2642835

Abstract

Systems of systems (SoS) are large-scale systems composed of complex systems with difficult to elicit and model emergent properties. One of the most significant challenges in the engineering of such systems is how to elicit their non-functional requirements such as security. In this proposal paper we introduce a Model Driven Engineering (MDE) security requirement process for SoS. It is based on the Relax language to define invariant and relaxed security requirements. This enables taking into account security concerns early in the requirements phase of the SoS. We illustrate our process on a maritime safety and security case study.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM editor. The definitive version is available at http://dl.acm.org This papers appears in ECSAW '14 ISBN: 978-1-4503-2778-7 The original PDF is available at: http://dl.acm.org/citation.cfm?id=2642835
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: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)
Other partners > Université de Pau et des Pays de l'Adour - UPPA (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:29 Sep 2016 13:00

Repository Staff Only: item control page