Static Analysis of XML Security Views and Query Rewriting
In this paper, the authors revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and the type of annotations used to de ne the view. First, they study query rewriting with views when the classes used to defined queries and views are Regular XPath and MSO. Next, they investigate problems of static analysis of Security Access Specifications (SAS): they introduce the novel class of interval-bounded SAS and they de ne three different manners to compare views (i.e. on queries), with a security point of view.