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
1 Lab-STICC_TB_CID_SFIIS
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

https://hal.archives-ouvertes.fr/hal-01375760
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

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

1881

Files downloads

431