Efficient query integrity for outsourced dynamic databases

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2012, Pages 71-82

  Zheng, Qingji ^a   Xu, Shouhuai ^a   Ateniese, Giuseppe ^b  

^a Science Building   (United States)

^b JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

Authenticated data structure; Dynamic outsourced database; Query integrity

Indexed keywords

AGGREGATE QUERIES; COMMUNICATION COMPLEXITY; DYNAMIC DATABASE; EFFICIENT CONSTRUCTION; FORMAL SECURITY; QUERY INTEGRITY; SECURITY ASSURANCE; STORAGE COMPLEXITY;

CLOUD COMPUTING; DATA STRUCTURES; DIGITAL STORAGE; QUERY LANGUAGES;

QUERY PROCESSING;

EID: 84869744058     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2381913.2381927     Document Type: Conference Paper

References (31)

1. B. Applebaum, Y. Ishai, and E. Kushilevitz. From secrecy to soundness: Efficient verification via secure computation. In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and P. Spirakis, editors, Automata, Languages and Programming, volume 6198 of Lecture Notes in Computer Science, pages 152-163. Springer Berlin /Heidelberg, 2010. 10.1007/978-3-642-14165-2-14.
2. G. Ateniese, R. Burns, R. Curtmola, J. Herring, L. Kissner, Z. Peterson, and D. Song. Provable data possession at untrusted stores. In Proceedings of the 14th ACM conference on Computer and communications security, CCS '07, pages 598-609, New York, NY, USA, 2007. ACM.
3. G. Ateniese, S. Kamara, and J. Katz. Proofs of storage from homomorphic identification protocols. In Proceedings of the 15th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology, ASIACRYPT '09, pages 319-333, Berlin, Heidelberg, 2009. Springer-Verlag.
4. M. Bellare and G. Neven. Multi-signatures in the plain public-key model and a general forking lemma. In ACM Conference on Computer and Communications Security, pages 390-399, 2006.
5. D. Boneh, C. Gentry, B. Lynn, and H. Shacham. Aggregate and verifiably encrypted signatures from bilinear maps. In Proceedings of the 22nd international conference on Theory and applications of cryptographic techniques, EUROCRYPT'03, pages 416-432, Berlin, Heidelberg, 2003. Springer-Verlag.
6. K.-M. Chung, Y. Kalai, and S. Vadhan. Improved delegation of computation using fully homomorphic encryption. In Proceedings of the 30th annual conference on Advances in cryptology, CRYPTO'10, pages 483-501, Berlin, Heidelberg, 2010. Springer-Verlag.
7. P. Devanbu, M. Gertz, C. Martel, and S. G. Stubblebine. Authentic data publication over the internet. J. Comput. Secur., 11(3):291-314, Apr. 2003.
8. C. Erway, A. Küpçü, C. Papamanthou, and R. Tamassia. Dynamic provable data possession. In Proceedings of the 16th ACM conference on Computer and communications security, CCS '09, pages 213-222, New York, NY, USA, 2009. ACM.
9. A. Fiat. Batch rsa. In Proceedings on Advances in cryptology, CRYPTO '89, pages 175-185, New York, NY, USA, 1989. Springer-Verlag New York, Inc.
10. R. Gennaro, C. Gentry, and B. Parno. Non-interactive verifiable computing: outsourcing computation to untrusted workers. In Proceedings of the 30th annual conference on Advances in cryptology, CRYPTO'10, pages 465-482, Berlin, Heidelberg, 2010. Springer-Verlag.
11. M. Goodrich, R. Tamassia, and N. Triandopoulos. Super-efficient verification of dynamic outsourced databases. In T. Malkin, editor, Topics in Cryptology ́lC CT-RSA 2008, volume 4964 of Lecture Notes in Computer Science, pages 407-424. Springer Berlin /Heidelberg, 2008.
12. A. Juels and B. S. Kaliski, Jr. Pors: proofs of retrievability for large files. In Proceedings of the 14th ACM conference on Computer and communications security, CCS '07, pages 584-597, New York, NY, USA, 2007. ACM.
13. F. Li, M. Hadjieleftheriou, G. Kollios, and L. Reyzin. Dynamic authenticated index structures for outsourced databases. In Proceedings of the 2006 ACM SIGMOD international conference on Management of data, SIGMOD '06, pages 121-132, New York, NY, USA, 2006. ACM.
14. F. Li, M. Hadjieleftheriou, G. Kollios, and L. Reyzin. Authenticated index structures for aggregation queries. ACM Trans. Inf. Syst. Secur., 13(4):32:1-32:35, Dec. 2010.
15. R. C. Merkle. A certified digital signature. In Proceedings on Advances in cryptology, CRYPTO '89, pages 218-238, New York, NY, USA, 1989. Springer-Verlag New York, Inc.
16. K. Mouratidis, D. Sacharidis, and H. Pang. Partially materialized digest scheme: an efficient verification method for outsourced databases. The VLDB Journal, 18(1):363-381, Jan. 2009.
17. E. Mykletun, M. Narasimha, and G. Tsudik. Providing authentication and integrity in outsourced databases using merkley hash trees. In UCI-SCONCE Technical Report, 2003.
18. E. Mykletun, M. Narasimha, and G. Tsudik. Authentication and integrity in outsourced databases. Trans. Storage, 2(2):107-138, May 2006.
19. M. Narasimha and G. Tsudik. Authentication of outsourced databases using signature aggregation and chaining. In Proceedings of the 11th international conference on Database Systems for Advanced Applications, DASFAA'06, pages 420-436, Berlin, Heidelberg, 2006. Springer-Verlag.
20. G. Nuckolls. Verified query results from hybrid authentication trees. In Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security, DBSec'05, pages 84-98, Berlin, Heidelberg, 2005. Springer-Verlag.
21. B. Palazzi, M. Pizzonia, and S. Pucacco. Query racing: fast completeness certification of query results. In Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy, DBSec'10, pages 177-192, Berlin, Heidelberg, 2010. Springer-Verlag.
22. H. Pang, A. Jain, K. Ramamritham, and K.-L. Tan. Verifying completeness of relational query results in data publishing. In Proceedings of the 2005 ACM SIGMOD international conference on Management of data, SIGMOD '05, pages 407-418, New York, NY, USA, 2005. ACM.
23. H. Pang, J. Zhang, and K. Mouratidis. Scalable verification for outsourced dynamic databases. Proc. VLDB Endow., 2(1):802-813, Aug. 2009.
24. C. Papamanthou, R. Tamassia, and N. Triandopoulos. Authenticated hash tables. In Proceedings of the 15th ACM conference on Computer and communications security, CCS '08, pages 437-448, New York, NY, USA, 2008. ACM.
25. C. Papamanthou, R. Tamassia, and N. Triandopoulos. Optimal verification of operations on dynamic sets. In Proceedings of the 31st annual conference on Advances in cryptology, CRYPTO'11, pages 91-110, Berlin, Heidelberg, 2011. Springer-Verlag.
26. H. Shacham and B. Waters. Compact proofs of retrievability. In Proceedings of the 14th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology, ASIACRYPT '08, pages 90-107, Berlin, Heidelberg, 2008. Springer-Verlag.
27. R. Tamassia and N. Triandopoulos. Certification and authentication of data structures. In AMW, 2010.
28. M. Xie, H. Wang, J. Yin, and X. Meng. Integrity auditing of outsourced data. In Proceedings of the 33rd international conference on Very large data bases, VLDB '07, pages 782-793. VLDB Endowment, 2007.
29. J. XU and E.-C. CHANG. Authenticating aggregate range queries over multidimensional dataset. Cryptology ePrint Archive, Report 2010/050, 2010. http://eprint.iacr.org/.
30. Y. Yang, D. Papadias, S. Papadopoulos, and P. Kalnis. Authenticated join processing in outsourced databases. In Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, pages 5-18, New York, NY, USA, 2009. ACM.
31. Y. Yang, S. Papadopoulos, D. Papadias, and G. Kollios. Spatial outsourcing for location-based services. In Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, ICDE '08, pages 1082-1091, Washington, DC, USA, 2008. IEEE Computer Society.