Sciweavers

2 search results - page 1 / 1
» ACCOn: checking consistency of XML write-access control poli...
Sort
View
122
Voted
EDBT
2008
ACM
137views Database» more  EDBT 2008»
16 years 3 months ago
ACCOn: checking consistency of XML write-access control policies
XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of ...
Loreto Bravo, James Cheney, Irini Fundulaki
147
Voted
PPDP
2010
Springer
15 years 1 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch