A Generic Metamodel For Security Policies Mutation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

A Generic Metamodel For Security Policies Mutation

Abstract

We present a new approach for mutation analysis of Security Policies test cases. We propose a metamodel that provides a generic representation of security policies access control models and define a set of mutation operators at this generic level. We use Kermeta to build the metamodel and implement the mutation operators. We also illustrate our approach with two successful instantiation of this metamodel: we defined policies with RBAC and OrBAC and mutated these policies.
Fichier principal
Vignette du fichier
mouelhi08e.pdf (355.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00456954 , version 1 (16-02-2010)

Identifiers

  • HAL Id : inria-00456954 , version 1

Cite

Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry. A Generic Metamodel For Security Policies Mutation. SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), SINTEF - The Foundation for Scientific and Industrial Research (SINTEF), 2008, Lillehammer, Norway. 8 p. ⟨inria-00456954⟩
160 View
297 Download

Share

Gmail Facebook X LinkedIn More