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.
Type de document :
Communication dans un congrès
SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, 2008, Lillehammer, Norway. 8 p., 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00456954
Contributeur : Didier Vojtisek <>
Soumis le : mardi 16 février 2010 - 10:42:48
Dernière modification le : mardi 16 janvier 2018 - 15:54:14
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:01:40

Fichier

mouelhi08e.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456954, version 1

Collections

Citation

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, 2008, Lillehammer, Norway. 8 p., 2008. 〈inria-00456954〉

Partager

Métriques

Consultations de la notice

283

Téléchargements de fichiers

405