Static analysis of XML security views and query rewriting.pdfVIP

Information and Computation 238 (2014) 2–29 Contents lists available at ScienceDirect Information and Computation /locate/yinco Static analysis of XML security views and query rewriting ? Beno?t Groz a,b,d,?, S?awomir Staworko a,c, Anne-Cecile Caron a,b, Yves Roos a,b, Sophie Tison a,b a Mostrare Project, INRIA Lille Nord-Europe LIFL (CNRS UMR8022), France b University of Lille 1, France c University of Lille 3, France d ENS Cachan, France article info Article history: Received 25 February 2011 Available online 21 July 2014 Keywords: XML Security views Query rewriting Determinacy abstract In