 |
 |
Conference papers
A Model-Driven Security Requirements Approach to Deduce Security Policies Based on OrBAC
Abstract : Attacks on unsecured systems result in important loses. Many of the causes are related to non-conformance of system architecture and implementation to the requirements. To reduce these conformity problems, Model Driven Engineering proposes using modelling languages for defining requirements and architecture and model transformations between them. We therefore introduce a modelling language extension/ profile for defining system requirements with basic security requirement concepts. We also formalize the model transformation between this profile and a security formal verification method. We exemplify our approach on a medical case study. \textcopyright Springer International Publishing Switzerland 2015.
https://hal-univ-pau.archives-ouvertes.fr/hal-01908073
Contributor : Julien Rabaud Connect in order to contact the contributor
Submitted on : Monday, October 29, 2018 - 5:44:08 PM
Last modification on : Monday, October 11, 2021 - 2:23:37 PM
Contributor : Julien Rabaud Connect in order to contact the contributor
Submitted on : Monday, October 29, 2018 - 5:44:08 PM
Last modification on : Monday, October 11, 2021 - 2:23:37 PM