HweeHwa Pang Jilian Zhang Kyriakos Mouratidis Scalable Verification for Outsourced Dynamic Databases. 802-813 2009 2 PVLDB 1 http://www.vldb.org/pvldb/2/vldb09-625.pdf db/journals/pvldb/pvldb2.html#PangZM09