Til hovedinnhold

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

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

Kategori
Vitenskapelig foredrag
Sammendrag
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.
Språk
Engelsk
Forfatter(e)
  • Franck Fleurey
Institusjon(er)
  • SINTEF Digital / Software and Service Innovation
Presentert på
MoDELS/UML 2008 conference
Sted
Toulouse
Dato
28.09.2008 - 03.10.2008
Arrangør
http://www.irit.fr/models/
År