OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model-based Specification and Validation of Security and Dependability Patterns

Hamid, Brahim and Percebois, Christian Model-based Specification and Validation of Security and Dependability Patterns. (2013) In: 6th International Symposium on Foundations & Practice of Security (FPS 2013), 21 October 2013 - 22 October 2013 (La Rochelle, France).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-319-05302-8_5

Abstract

The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, even in domains traditionally not deeply involved in such issues. In our work, we propose a modeling environment for pattern-based secure and dependable embedded system development by design. Here we study a general scheme for representing security and dependability (S&D) design patterns whose intention specification can be defined using a set of local properties. We propose an approach that associates Model Driven Engineering (MDE) and formal validation to get a common representation to specify patterns for several domains. The contribution of this work is twofold. On the one hand, we use model-based techniques to capture a set of artifacts to specify patterns. On the other hand, we introduce a set of artifacts for the formal validation of these patterns in order to guarantee their correctness. As an illustration of the approach, we study the authorization pattern.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8352 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-319-05301-1. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-319-05302-8_5
HAL Id:hal-01223182
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (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:08 Oct 2015 08:51

Repository Staff Only: item control page