论文部分内容阅读
为了解决计算能力有限的对象(用户)所面临的大维数方阵的高次幂计算问题,作者利用云计算平台(云服务端),提出了一个方阵幂可验证安全云计算外包方案。该方案中包含两个不同的云计算外包协议,它们分别是基于单云外包模型的方阵幂可验证安全云计算外包协议(S-SMP协议)和基于双云外包模型的方阵幂可验证安全云计算外包协议(D-SMP协议)。在S-SMP协议中,用户首先构造一个随机置换,再结合克罗内克函数,生成一个非奇异方阵,并求得其逆矩阵,这两个方阵即为密钥;用户用此密钥完成对原方阵的加密,然后将方阵幂中的指数和加密所得方阵一起发送给云端;云端完成加密所得方阵的求幂运算,并将计算所得方阵返回给用户;用户使用持有的密钥解密云端返回的方阵,并随机选取若干解密所得方阵中的元素与相应的由用户自己计算所得的正确值进行对比,以验证解密所得方阵是否正确。在D-SMP协议中,用户首先利用与S-SMP中同样的方法构造两组密钥(每组密钥包含一个非奇异方阵及其逆矩阵);用户用这两组密钥分别对原方阵进行加密,得到两个加密后的方阵,然后将加密所得的两个方阵和原有的指数分发给两个不同的云端;每个云端各自完成所接收到的加密所得方阵的求幂运算,并将计算所得方阵返回给用户;用户使用持有的两组密钥解密相应云端返回的方阵,并对解密所得的两个方阵进行对比,以验证解密所得方阵是否正确。经过理论分析可知:S-SMP和D-SMP协议均满足外包协议的四个基本要求,即正确性、安全性、可验证性和高效性。在对S-SMP协议和D-SMP协议分别进行仿真的实验中,将方阵幂问题分为方阵阶数固定指数变化和指数固定方阵阶数变化两种情形单独进行,每种情形下计算方阵幂时又分别采用了定义法和二分法这两种不同的方法。实验结果表明,与用户自身完成原方阵幂计算任务相比,以上两种形式的方阵幂在不同的云计算外包方式下均能大幅减少用户的计算耗时,获得较好的外包性能,且除了方阵阶数固定指数变化型方阵幂在单云外包模型二分法情形以外,其它情形下的云计算外包性能均随着方阵维数和指数的增加而提高。