Rewriting-Based Access Control Policies

Anderson Santana de Oliveira 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic term, what allows to model many aspects of the policy environment. Policies are represented as sets of rewrite rules, whose evaluation produces deterministic authorization decisions. We discuss the relation between properties of \trs and those important for access control, and the impact of composing policies to these properties.
Type de document :
Communication dans un congrès
Maribel Fernández and Claude Kirchner. 1st International Workshop on Security and Rewriting Techniques - SecReT 2006, Sep 2006, Venice/Italy, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00112340
Contributeur : Anderson Santana de Oliveira <>
Soumis le : jeudi 9 novembre 2006 - 17:05:10
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : mardi 6 avril 2010 - 18:49:48

Fichiers

Identifiants

  • HAL Id : inria-00112340, version 1

Collections

Citation

Anderson Santana de Oliveira. Rewriting-Based Access Control Policies. Maribel Fernández and Claude Kirchner. 1st International Workshop on Security and Rewriting Techniques - SecReT 2006, Sep 2006, Venice/Italy, 2006. 〈inria-00112340〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

121