Rewrite based Verification of XML Updates - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2009

Rewrite based Verification of XML Updates

(1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
RR-7007.pdf (423.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00408162 , version 1 (29-07-2009)

Identifiers

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

Cite

Florent Jacquemard, Michael Rusinowitch. Rewrite based Verification of XML Updates. [Research Report] RR-7007, INRIA. 2009, pp.39. ⟨inria-00408162⟩
115 View
130 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More