Rewrite based Verification of XML Updates

Florent Jacquemard 1 Michael Rusinowitch 2
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We consider problems of access control for update of XML documents. In the context of XML programming, types can be viewed as hedge automata, and static type checking amounts to verify that a program always converts valid source documents into also valid output documents. Given a set of update operations we are particularly interested by checking safety properties such as preservation of document types along any sequence of updates. We are also interested by the related policy consistency problem, that is detecting whether a sequence of authorized operations can simulate a forbidden one. We reduce these questions to type checking problems, solved by computing variants of hedge automata characterizing the set of ancestors and descendants of the initial document type for the closure of parameterized rewrite rules.
Type de document :
Rapport
[Research Report] RR-7007, INRIA. 2009, pp.39
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00408162
Contributeur : Florent Jacquemard <>
Soumis le : mercredi 29 juillet 2009 - 14:32:10
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09
Document(s) archivé(s) le : mardi 15 juin 2010 - 20:03:57

Fichiers

RR-7007.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00408162, version 1
  • ARXIV : 0907.5125

Citation

Florent Jacquemard, Michael Rusinowitch. Rewrite based Verification of XML Updates. [Research Report] RR-7007, INRIA. 2009, pp.39. 〈inria-00408162〉

Partager

Métriques

Consultations de la notice

296

Téléchargements de fichiers

119