Reference : Modeling, composing, and testing of security concerns in a Model-Driven Security approach
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16420
Modeling, composing, and testing of security concerns in a Model-Driven Security approach
English
Nguyen, Phu Hong mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Klein, Jacques mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Le Traon, Yves mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
26-Feb-2014
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014)
Joosen, Wouter
Martinelli, Fabio
Heyman, Thomas
Vol-1298
Yes
No
International
International Symposium on Engineering Secure Software and Systems - Doctoral Symposium
from 26-02-2014 to 28-02-2014
[en] Model-Driven Security ; Model-Driven Engineering ; Secu- rity Modeling, Model Composition, Adaptive Security, Security Testing
[en] Model-Driven Security (MDS) has emerged as a promising sound methodology for supporting the development of secure systems nowadays. Following the advances in MDS, this research work aims at 1) developing new modeling techniques to represent multiple security concerns, 2) (automatically) composing security models with the business logic model (called target model), and 3) testing the security model composition and the resulting secure system against security requirements. These three objectives converge to an integrated MDS framework (and tool chain) which 1) allows a target system model to embed various security concerns, 2) enables the generation of implementation code including configured security infrastructures, and 3) makes these security properties testable by construction. This paper presents the main research modules, the results we have achieved so far, and the main points for future work.
SnT
Fonds National de la Recherche - FnR
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/16420

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ESSoS-DS2014-PhuNGUYEN.pdfAuthor preprint311.41 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.