[论文解读] A Distributed Secure Outsourcing Scheme for Solving Linear Algebraic Equations in Ad Hoc Clouds

Wenlong Shen, Bo Yin+2 more|arXiv (Cornell University)|Apr 4, 2015

Cryptography and Data Security被引用 5

一句话总结

本文提出了一种在自组织云环境中用于求解线性代数方程的分布式安全外包方案，利用同态加密和秘密共享技术以确保数据隐私和计算完整性。该方案使资源受限设备能够将矩阵计算外包给附近的代理，同时保持机密性和正确性，在动态、去中心化的环境中实现高效且可扩展的解决方案。

ABSTRACT

The emerging ad hoc clouds form a new cloud computing paradigm by leveraging untapped local computation and storage resources. An important application application over ad hoc clouds is outsourcing computationally intensive problems to nearby cloud agents to solve in a distributed manner.

研究动机与目标

• 解决在去中心化、动态的自组织云环境中安全外包计算密集型线性代数方程求解的挑战。
• 在不受信的云代理执行矩阵运算时，保护数据机密性和计算完整性。
• 使资源受限设备能够高效地将线性系统求解任务委托给附近代理，而无需暴露敏感数据。
• 设计一个可扩展且具有弹性的框架，支持自组织云中参与者的动态加入与离开。

提出的方法

• 该方案使用加法同态加密，允许在不解密的情况下执行加密矩阵运算，从而在计算过程中确保数据隐私。
• 应用秘密共享技术，将敏感数据分割为多个份额并分发给多个代理，防止单点故障。
• 客户端在外包前使用同态加密方案对系统矩阵和右端向量进行加密。
• 多个附近的代理协作在加密数据上使用同态运算计算解，然后返回加密结果。
• 客户端通过组合结果并使用其私钥解密来重建解。
• 集成验证协议以检测并拒绝来自不受信代理的错误或恶意计算。

实验结果

研究问题

• RQ1 如何在不向不受信代理暴露敏感数据的情况下，安全地在自组织云中外包线性代数方程的求解？
• RQ2 在去中心化、动态环境中，哪些密码学技术可以同时确保数据机密性和计算正确性？
• RQ3 当代理动态加入或离开网络时，该方案如何保持效率和可扩展性？
• RQ4 在分布式计算过程中，应采用何种机制来检测并防止恶意行为？

主要发现

• 所提出的方案通过同态加密和秘密共享技术，端到端地保护了数据机密性，确保了安全性。
• 客户端的计算开销显著降低，因为繁重的矩阵运算已外包给附近的代理。
• 该方案支持动态的参与者管理，允许代理在不中断计算的情况下加入或离开。
• 验证机制能够以高概率成功检测并拒绝来自恶意代理的错误结果。