Model-driven security policy deployment: property oriented approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Model-driven security policy deployment: property oriented approach

Résumé

We address the issue of formally validating the deployment of access control security policies. We show how the use of a formal expression of the security requirements, related to a given system, ensures the deployment of an anomaly free abstract security policy. We also describe how to develop appropriate algorithms by using a theorem proving approach with a modeling language allowing the specification of the system, of the link between the system and the policy, and of certain target security properties. The result is a set of proved algorithms that constitute the certified technique for a reliable security policy deployment.
Fichier principal
Vignette du fichier
essos2010.pdf (448.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00540842 , version 1 (29-11-2010)

Identifiants

Citer

Stere Preda, Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia Alfaro, Laurent Toutain. Model-driven security policy deployment: property oriented approach. ESSos 2010 : second International symposium on Engineering Secure Software and Systems, Feb 2010, Pise, Italy. pp.123-139, ⟨10.1007/978-3-642-11747-3_10⟩. ⟨hal-00540842⟩
220 Consultations
384 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More