Formal methods applied to access control policy design, verification and enforcement - Archive ouverte HAL Accéder directement au contenu
Hdr Année : 2022

Formal methods applied to access control policy design, verification and enforcement

Résumé

The evolution of classical information systems has introduced new technologies and services for information managing and sharing. With the spread of the Internet, it is now possible to easily share vast amounts of electronic information and computer resources in open distributed envi- ronments. These environments serve as a common platform for heterogeneous users by hosting services, user applications and data. This evolution has opened new threats to information security and new challenges to access control modeling. In order to meet these challenges, many research works went towards extending traditional access control models towards mod- els tailored for managing data access and privilege definition within distributed and dynamic systems. In this manuscript, we contribute to this line of research by introducing a modular framework for the specification of interoperable access control policies developed autonomously in different administrative domains. The rule-based formalisation we propose allows for policy analysis and validation by verification of policy properties and simulation of execution scenarios. We have also investigated access control in the context of collaborative decision making systems. In par- ticular, we propose a solution for controlling access in cooperating web services with transitive dependencies, as well as in data fusion processes. Finally, we consider authorization policies and constraints related to workflow management systems and workflow-driven applications. We propose a methodology to monitor a workflow and its associated access control policy in order to ensure a successful termination of the workflow or, if not possible, an execution with a minimal violation of the authorization constraints.
L’evolution des systemes d’information classiques a introduit des nouvelles technologies et des nouveaux services pour la gestion et le partage d’informations. Avec la diffusion d’Internet, il est desormais possible de partager facilement de grandes quantites d’informations ́electroniques et de ressources informatiques dans des environnements distribues ouverts. Ces environnements servent de plateforme commune pour des utilisateurs heterogenes (par exemple, les entreprises, les particuliers, etc.) en h ́ebergeant des services, des applications utilisateur et des donn ́ees. Cette evolution a introduit des nouvelles menaces pour la s ́ecurit ́e de l’information et des nouveaux d ́efis pour la modelisation du contrˆole d’acc`es. Afin de relever ces d ́efis, de nombreux travaux de recherche etudient l’extension des mod`eles traditionnels de contrˆole d’acc`es vers des mod`eles con ̧cus pour gerer l’acces aux donn ́ees et la d ́efinition des privil`eges dans les syst`emes distribu ́es et dynamiques. Dans ce manuscrit, nous contribuons `a cette ligne de recherche en introduisant un formalisme pour la sp ́ecification de politiques de contrˆole d’acc`es interop ́erables et d ́evelopp ́ees de mani`ere autonome dans diff ́erents domaines administratifs. La formalisation `a base de r`egles que nous proposons permet l’analyse et la validation des politiques par la v ́erification des propri ́et ́es telles que la consistance et l’efficacit ́e, ainsi que la simulation de sc ́enarios d’ex ́ecution. Nous avons ́egalement ́etudi ́e le contrˆole d’acc`es dans le contexte des syst`emes avec une prise de d ́ecision collaborative. Nous proposons notamment une solution pour le contrˆole d’acc`es dans les services web cooperatifs avec des dependances transitives, ainsi que dans les processus de fusion de donnees. Enfin, nous considerons les politiques d’autorisation et les contraintes liees aux systemes de gestion de flux de travail (workflows) et leurs applications. Nous proposons une methodologie pour surveiller un workflow et sa politique de controle d’acces associee, afin d’en assurer la terminaison en respectant toutes les contraintes de securite ou, si ce n’est pas possible, une execution avec une violation minimale de ces contraintes.
Fichier principal
Vignette du fichier
VF-manuscrit-apres-correction (10).pdf (1.64 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03921970 , version 1 (04-01-2023)

Identifiants

  • HAL Id : tel-03921970 , version 1

Citer

Clara Bertolissi. Formal methods applied to access control policy design, verification and enforcement. Cryptography and Security [cs.CR]. Aix-Marseile Université, France, 2022. ⟨tel-03921970⟩
161 Consultations
249 Téléchargements

Partager

Gmail Facebook X LinkedIn More