Static conflict detection for a policy language

Abstract : We present a static control flow analysis used in the Simple Unified Policy Programming Language (Suppl) compiler to detect internally inconsistent policies. For example, an access control policy can decide to both "allow" and "deny" access for a user; such an inconsistency is called a conflict. Policies in Suppl follow the Event-Condition-Action paradigm; predicates are used to model conditions and event handlers are written in an imperative way. The analysis is twofold; it first computes a superset of all conflicts by looking for a combination of actions in the event handlers that might violate a user-supplied definition of conflicts. SMT solvers are then used to try to rule out the combinations that cannot possibly be executed. The analysis is formally proven sound in Coq in the sense that no actual conflict will be ruled out by the SMT solvers. Finally, we explain how we try to show the user what causes the conflicts, to make them easier to solve.
Type de document :
Communication dans un congrès
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01099124
Contributeur : David Baelde <>
Soumis le : mercredi 31 décembre 2014 - 15:14:36
Dernière modification le : mercredi 2 août 2017 - 10:08:53
Document(s) archivé(s) le : mercredi 1 avril 2015 - 10:10:38

Fichier

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

Identifiants

  • HAL Id : hal-01099124, version 1

Collections

Citation

Alix Trieu, Robert Dockins, Andrew Tolmach. Static conflict detection for a policy language. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉. 〈hal-01099124〉

Partager

Métriques

Consultations de la notice

35

Téléchargements de fichiers

45