Viet Hung Nguyen, Tran Khanh Dang, Nguyen Thanh Son, Josef Küng. Query Assurance Verification for Dynamic Outsourced XML Databases. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 689-696, IEEE Computer Society, 2007. [doi]