Skip to Main content Skip to Navigation
Conference papers

Security Mechanisms Planning to Enforce Security Policies

Anis Bkakria 1, 2 Frédéric Cuppens 1, 2 Nora Cuppens-Boulahia 1, 2 David Gross-Amblard 3
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This paper presents an approach allowing for a given security and utility requirements, the selection of a combination of mechanisms and the way it will be applied to enforce them. To achieve this goal, we firstly use an expressive formal language to specify the security and utility properties required by data owners and the security mechanisms that can be used to enforce them. Second, we extend and use a Graphplan-based approach to build a planning graph representing all possible transformations of the system resulting from the application of security mechanisms. Finally, we define a method to search the best security mechanisms execution plan to transform the used system from its initial state to a state in which the security requirements are enforced.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Monday, October 3, 2016 - 2:38:37 PM
Last modification on : Friday, March 6, 2020 - 4:10:03 PM
Document(s) archivé(s) le : Friday, February 3, 2017 - 1:43:07 PM


Files produced by the author(s)



Anis Bkakria, Frédéric Cuppens, Nora Cuppens-Boulahia, David Gross-Amblard. Security Mechanisms Planning to Enforce Security Policies. International symposium on foudations and practice of security, Oct 2015, Clermont-Ferrand, France. pp.85 - 101, ⟨10.1007/978-3-319-30303-1_6⟩. ⟨hal-01375760⟩



Record views


Files downloads