[论文解读] S4: A New Secure Scheme for Enforcing Privacy in Cloud Data Warehouses

Somayeh Sobati Moghadam, Jérôme Darmont+1 more|arXiv (Cornell University)|Aug 22, 2017

Cryptography and Data Security参考文献 14被引用 5

一句话总结

该论文提出S4，一种基于秘密共享的新型加密方案，用于保护云环境中数据仓库的安全，替代计算开销较大的Paillier部分同态加密方案。通过使用Shamir的秘密共享将敏感数值拆分为份额，S4实现了比Paillier方案显著更低的存储和计算开销，支持高效的加密聚合查询，在大规模数据集上的加密、解密和查询处理时间方面表现出更优的性能。

ABSTRACT

Outsourcing data into the cloud becomes popular thanks to the pay-as-you-go paradigm. However, such practice raises privacy concerns. The conventional way to achieve data privacy is to encrypt sensitive data before outsourcing. When data are encrypted, a trade-off must be achieved between security and efficient query processing. Existing solutions that adopt multiple encryption schemes induce a heavy overhead in terms of data storage and query performance, and are not suited for cloud data warehouses. In this paper, we propose an efficient additive encryption scheme (S4) based on Shamir's secret sharing for securing data warehouses in the cloud. S4 addresses the shortcomings of existing approaches by reducing overhead while still enforcing good data privacy. Experimental results show the efficiency of S4 in terms of computation and storage overhead with respect to existing solutions.

研究动机与目标

• 解决现有同态加密方案（如Paillier方案）在基于云的数据仓库中存储和计算开销过高的问题。
• 实现在不受信任的云环境中对加密数据高效执行OLAP查询（特别是求和查询）。
• 缓解传统安全数据库管理系统中因大密文尺寸和昂贵的模运算导致的性能瓶颈。
• 探索在安全与效率之间实现权衡，以利于在实际数据仓库工作负载中部署。
• 为未来工作奠定基础，将S4扩展以安全支持乘法运算。

提出的方法

• S4使用Shamir的秘密共享将每个敏感数据值拆分为k-1个份额，并存储在多个云节点上。
• 通过在k个份额上使用拉格朗日插值重建密钥，确保只有授权子集能够恢复原始值。
• 对于求和查询，S4通过模加法计算份额之和，避免了Paillier方案所需的昂贵模乘法运算。
• 该方案在有限域F_p上运行，其中p是大于查询中可能值总和的最大值的素数。
• 加密通过生成一个k-1次的随机多项式实现，以密钥作为常数项，并在k个不同的非零点上求值。
• 解密/重建涉及使用拉格朗日基多项式求解线性方程组，从k个份额中恢复原始密钥。

实验结果

研究问题

• RQ1 基于秘密共享的方案是否能在云数据仓库中实现比Paillier部分同态加密更低的存储和计算开销？
• RQ2 S4在降低OLAP工作负载中安全查询处理计算成本的同时，能在多大程度上保持安全性？
• RQ3 阈值k的选择如何影响S4在性能与安全性之间的权衡？
• RQ4 S4能否高效支持云数据仓库中大型事实表上的常见分析操作（如求和）？
• RQ5 在不同规模的真实世界合成工作负载中，S4相比Paillier方案的性能提升如何？

主要发现

• 与Paillier方案相比，S4将存储开销降低了几个数量级，后者每条记录生成2048比特的密文。
• 对于m = 10^6条记录，当k ≤ 16时，S4的加密时间低于Paillier方案，表明在中等阈值下效率更优。
• 由于避免了昂贵的模乘法运算，S4的解密/重建时间始终快于Paillier的解密，尤其在大规模场景下优势明显。
• S4的求和查询处理时间显著更低，因其仅需(m-1)×m次模加法，而Paillier需要m次模乘法。
• 当k = 16时，S4在大规模数据集上实现了存储开销降低90%，查询响应时间提升60–70%，相比Paillier方案。
• S4的性能优势在大规模数据仓库工作负载中最为显著，此时Paillier的开销变得难以承受。