Ent?te

Logo du LIFL

Depuis le 1er janvier 2015 le LIFL et le LAGIS forment le laboratoire CRIStAL

  1. Actualités

Thèse de

Benoit Groz

vendredi 5 octobre 2012
CERLA

Vues de sécurité xml : requêtes, mises à jour, et schémas.

Directeur de Thèse : Sophie Tison, Slawek Staworko

Rapporteurs : Thomas Schwentick, Michael Rusinowitch

Membres : Michael Benedikt, Jean-François Raskin, Hélène Touzet
 

Les évolutions technologiques ont consacré l'émergence des services web et du stockage des données en ligne,
en complément des bases de données traditionnelles. Ces évolutions facilitent l'accès aux données, mais en contrepartie
soulèvent de nouvelles problématiques de sécurité. La mise en œuvre de politiques de contrôle d'accès appropriées
est une des approches permettant de réduire ces risques.Nous étudions ici les politiques de contrôle d'accès au niveau d'un document XML, politiques que nous modélisons par des vues de sécurité XML (non matérialisées) à l'instar de Fan et al. Ces vues peuvent être représentées facilement par des alignements d'arbres grâce à l'absence d'opérateurs arithmétiques ou de restructuration. Notre objectif est par conséquent d'examiner comment manipuler efficacement ce type de vues, à l'aide des méthodes formelles, et plus particulièrement des techniques de réécriture de requêtes et la théorie des automates d'arbres.

Trois directions principales ont orienté nos recherches: nous avons tout d'abord
élaboré des algorithmes pour évaluer l'expressivité d'une vue, en fonction des requêtes qui peuvent être exprimées à travers cette vue. Il s'avère que l'on ne peut décider en général si une vue permet d'exprimer une requête particulière,
mais cela devient possible lorsque la vue satisfait des hypothèses générales.
En second lieu, nous avons considéré les problèmes soulevés par les mises à jour du document à travers une vue.
Enfin, nous proposons des solutions pour construire automatiquement un schéma de la vue. En particulier,
nous présentons différentes techniques pour représenter de façon approchée l'ensemble des documents au moyen d'une DTD.

 

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster