安全高效的可验证大型线性方程组求解外包计算方案Secure efficient.PDF

第 3 卷第 6 期 网络与信息安全学报 Vol.3 No.6 2017 年 6 月 Chinese Journal of Network and Information Security June 2017 安全高效的可验证大型线性方程组求解外包计算方案 张兴兰，刘祥 （北京工业大学信息学部，北京 100124 ） 摘 要：针对目前大型线性方程组求解在外包计算中遇到的用户信息泄露、计算结果被篡改等问题，提出一 种安全高效的可验证外包计算方案。通过随机置换和线性方程组的恒等变换，构造了新的具备相似解的线性 方程组，避免了当前数据伪装方案易受求解公因式法攻击的问题，同时提高了客户端的验证效率，降低了空 间复杂度。性能分析表明，该方案具有极高的效率。 关键词：云外包计算；解线性方程组；可验证性 中图分类号：TP309.7 文献标识码：A doi: 10.11959/j.issn.2096-109x.2017.00161 Secure efficient and verifiable large linear equations solve outsourcing computing scheme ZHANG Xing-lan, LIU Xiang (Faculty of Information Technology, Beijing University of Technology, Beijing 100124, China) Abstract: A secure, efficient and verifiable outsourcing computation scheme was proposed based on the current problems of leaking users information and tampering with the calculating results, which were encountered while solving large-scale linear equations in outsourcing computation. A new linear equation with similarity solutions was constructed based on the constant transformation between random permutation and linear equations. It avoids the problem that the current data camouflage scheme is easily attacked by solving common factor method. It also im- proves the verification effciency and reduces the complexity of space. The performance analysis shows that the scheme is highly efficient. Key words: outsourcing cloud computing, solving linear equations, verifiability 受本地计算资源束缚而无法进行的大型计算任 1 引言 务提出了有效的解决方