方阵幂可验证安全云计算外包方案研究.docx

方阵幂可验证安全云计算外包方案研究 重庆大学硕士学位论文 （学术学位） 学生姓名：刘午阳 指导教师：廖晓峰 教 授 专 业：计算机系统结构 学科门类：工 学 重庆大学计算机学院 二 O 一五年四月 Research on the Scheme of Verifiable and Secure Cloud Computation Outsourcing of Square Matrix Power A Thesis Submitted to Chongqing University in Partial Fulfillment of the Requirement for the Master’s Degree of Engineering By Wuyang Liu Supervised by Prof. Xiaofeng Liao Specialty: Computer Architecture College of Computer Science of Chongqing University, Chongqing, China. April, 2015 摘 要 为了解决计算能力有限的对象（用户）所面临的大维数方阵的高次幂计算问题， 作者利用云计算平台（云服务端），提出了一个方阵幂可验证安全云计算外包方 案。该方案中包含两个不同的云计算外包协议，它们分别是基于单云外包模型的 方阵幂可验证安全云计算外包协议（S-SMP 协议）和基于双云外包模型的方阵幂 可验证安全云计算外包协议（D-SMP 协议）。 在 S-SMP 协议中，用户首先构造一个随机置换，再结合克罗内克函数，生成 一个非奇异方阵，并求得其逆矩阵，这两个方阵即为密钥；用户用此密钥完成对 原方阵的加密，然后将方阵幂中的指数和加密所得方阵一起发送给云端；云端完 成加密所得方阵的求幂运算，并将计算所得方阵返回给用户；用户使用持有的密 钥解密云端返回的方阵，并随机选取若干解密所得方阵中的元素与相应的由用户 自己计算所得的正确值进行对比，以验证解密所得方阵是否正确。 在 D-SMP 协议中，用户首先利用与 S-SMP 中同样的方法构造两组密钥（每组 密钥包含一个非奇异方阵及其逆矩阵）；用户用这两组密钥分别对原方阵进行加 密，得到两个加密后的方阵，然后将加密所得的两个方阵和原有的指数分发给两 个不同的云端；每个云端各自完成所接收到的加密所得方阵的求幂运算，并将计 算所得方阵返回给用户；用户使用持有的两组密钥解密相应云端返回的方阵，并 对解密所得的两个方阵进行对比，以验证解密所得方阵是否正确。 经过理论分析可知：S-SMP 和 D-SMP 协议均满足外包协议的四个基本要求， 即正确性、安全性、可验证性和高效性。在对 S-SMP 协议和 D-SMP 协议分别进 行仿真的实验中，将方阵幂问题分为方阵阶数固定指数变化和指数固定方阵阶数 变化两种情形单独进行，每种情形下计算方阵幂时又分别采用了定义法和二分法 这两种不同的方法。实验结果表明，与用户自身完成原方阵幂计算任务相比，以 上两种形式的方阵幂在不同的云计算外包方式下均能大幅减少用户的计算耗时， 获得较好的外包性能，且除了方阵阶数固定指数变化型方阵幂在单云外包模型二 分法情形以外，其它情形下的云计算外包性能均随着方阵维数和指数的增加而提 高。 关键词：方阵幂，云计算，安全外包计算，可验证，随机置换 ABSTRACT Computing the high power of huge-dimension square matrix is a hard job for those entities (clients) with limited compute capability, therefore, a verifiable and secure cloud computing outsourcing scheme of square matrix power is designed based on the cloud computing platform. In the scheme, two different cloud computing outsourcing protocols are involved. One is the verifiable and secure cloud computing outsourcing protocol of square matrix power based on single cloud outsourcing model (S-SMP), and the other is the verifiable and secure cloud computing outsourc