Data dependencies for access control policies. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Data dependencies for access control policies.

Stéphane Coulondre

Résumé

Access control policies are set of facts and rules that determine whether an access request should be granted or denied. Policies must satisfy a set of constraints to reflect some high level organization requirements. First-order logic has been advocated for some time as a suitable formal framework for access control policies. However, though formally expressed, constraints are not defined in a unified language that could lead to some well-founded and generic enforcement procedures. Therefore, we directly start by proposing to express access control constraints in an unified and generic way by mean of data dependencies. We show how to use well-founded procedures dedicated to dependencies (\emph{chases}) to enforce and reason on constrainted policies. Without requiring any rewriting previous to the inference process, our approach provide clean and intuitive debugging traces for security officers and is generic enough to capture expressive access control policies.
Fichier non déposé

Dates et versions

hal-00789909 , version 1 (19-02-2013)

Identifiants

  • HAL Id : hal-00789909 , version 1

Citer

Romuald Thion, Stéphane Coulondre. Data dependencies for access control policies.. LID'09 - International Workshop on Logic in Databases, Oct 2009, Roskilde University, Denmark. pp.71-84. ⟨hal-00789909⟩
157 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More