HweeHwa Pang Kian-Lee Tan Verifying Completeness of Relational Query Answers from Online Servers. 2008 11 ACM Trans. Inf. Syst. Secur. 2 http://doi.acm.org/10.1145/1330332.1330337 db/journals/tissec/tissec11.html#PangT08