Query Assurance Verification for Dynamic Outsourced XML Databases | IEEE Conference Publication | IEEE Xplore