Viet Nguyen, Tran Dang, Nguyen Son, Josef Kung"Query Assurance Verification for Dynamic Outsourced XML Databases."The Second International Conference on Availability, Reliability and Security (ARES'07)(2007):