To main content

A Model-Based Framework for Security Policies Specification, Deployment and Testing

A Model-Based Framework for Security Policies Specification, Deployment and Testing

Category
Academic lecture
Abstract
In this paper, we propose a model-driven approach for specifying, deploying and testing security policies in Java applications. First, a security policy is specified independently of the underlying access control language (OrBAC, RBAC). It is based on a generic security meta-model which can be used for early consistency checks in the security policy. This model is then automatically transformed into security policy for the XACML platform and integrated in the application using aspect-oriented programming. To qualify test cases that validate the security policy in the application, we inject faults into the policy. The fault model and the fault injection process are defined at the meta-model level, making the qualification process language-independent. Empirical results on 3 case studies explore both the feasibility of the approach and the efficiency of a full design & test MDE process.
Language
English
Author(s)
  • Franck Fleurey
Affiliation
  • SINTEF Digital / Software and Service Innovation
Presented at
MoDELS/UML 2008 conference
Place
Toulouse
Date
28.09.2008 - 03.10.2008
Organizer
http://www.irit.fr/models/
Year