Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès

Le problème d'extraction d'information dans les documents XML est un domaine de recherche important en informatique. Nous proposons deux approches pour l'évaluation de requêtes sur les documents XML, compressés ou non, et/ou assujettis à des politiques du contrôle d'accès. La pre...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor principal: Fila-Kordy, Barbara, 1978-
Altres autors: Anantharaman, Siva (Directeur de thèse)
Format: Thèse et Mémoire papier
Idioma:Français
Publicat: [S.l.] : [s.n.] 2008.
Matèries:
Nota: Publication autorisée par le jury
Autres localisations: Voir dans le Sudoc
Variante du titre:Automata for the analysis of compressed XML documents, application to access control
Edition sous un autre format:• Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès, par Barbara Fila-Kordy, Villeurbanne, [CCSD], 2010
LEADER 03531nam a22003137a 4500
001 404363
008 110721s2008 xxe ||| |||| 00| 0 fre d
009 PPN153842342
041 0 |a fre  |b fre  |b eng 
084 |a 004 
100 1 |a Fila-Kordy, Barbara,  |d 1978- 
240 1 0 |a Automata for the analysis of compressed XML documents, application to access control 
245 1 0 |a Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès   |c par Barbara Fila-Kordy ; [sous la dir. de] M. Siva Anantharaman,... 
260 |a [S.l.] :  |b [s.n.],  |c 2008. 
300 |a 1 vol. (96 f.) ;  |c 30 cm. 
500 |a Publication autorisée par le jury 
502 |a Thèse de doctorat. Informatique. Orléans. 2008 
504 |a Bibliogr. f. 87-92. Index 
520 |a Le problème d'extraction d'information dans les documents XML est un domaine de recherche important en informatique. Nous proposons deux approches pour l'évaluation de requêtes sur les documents XML, compressés ou non, et/ou assujettis à des politiques du contrôle d'accès. La première est basée sur la logique de Horn: les politiques du contrôle d'accès de même que les requêtes sont modélisées comme des clauses de Horn contraintes, et l'évaluation de requêtes s'appuie sur une technique de résolution adaptée. La deuxième approche que nous présentons vise les documents XML pouvant être présentés sous une forme compressée comme des dags. Cette approche est basée sur sept automates de mots, correspondant aux sept axes de base de XPath. Ils courent de façon top-down sur les dags, et permettent d'évaluer les requêtes sur les documents compressés sans devoir les décompresser. Cette technique d'évaluation d'une requête Q, sur un document compressé t, peut être adaptée de façon à fournir la même réponse que l'évaluation de Q sur l'arbre équivalent à t. La complexité de nos deux approches est linéaire par rapport au nombre d'arêtes du document, et la taille de la requête. Outre ces deux approches, nous avons également présenté une approche basée sur les techniques de réécriture qui permet de résoudre le problème d'inclusion de patterns, sur un fragment purement descendant de XPath ; nous déduisons ainsi une condition nécessaire et suffisante pour ce problème (pour les patterns de ce fragment). Cette vue réécriturale peut être adaptée de façon à fournir une technique d'évaluation pour les requêtes modélisées par ces patterns, sur les documents XML arborescents ou compressés comme des dags. 
650 |a XML (langage de balisage) 
650 |a XPath (langage de programmation) 
650 |a Données  |x Compression (télécommunications) 
650 |a Ordinateurs  |x Accès  |x Contrôle 
650 |a Thèses et écrits académiques 
700 1 |a Anantharaman, Siva.  |4 ths 
710 2 |a Université d'Orléans.  |4 dgg 
776 0 |0 226539008  |t Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès  |f par Barbara Fila-Kordy  |c Villeurbanne  |n [CCSD]  |d 2010 
787 0 8 |i Reproduced as:  |0 247973203  |t Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès  |f par Barbara Fila-Kordy  |c Lille  |n Atelier national de reproduction des thèses  |d 2008  |p Microfiches  |s Lille-Thèses 
997 |0 404363  |1 Thèse et Mémoire papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2008-29  |z Orléans, BU Sciences, Technologies, STAPS, TS 19-2008-29 b