摘要:
由非可信任的云服务器代替用户解决大规模计算问题的外包计算已经成为当下云计算中的热门问题,这种外包计算的方式节省了用户的计算时间和计算资源.矩阵分解求解线性方程组问题,双线性对计算问题和模指数运算问题是三个热门的应用问题,特别是在密码学领域有着重要的应用.本文主要设计了三种外包计算协议:第一个是基于大规模矩阵QR分解求解线性方程组的外包计算协议.此协议通过简单的操作,让随机选择的矩阵与线性方程组中的矩阵进行运算,以达到对原有矩阵进行盲化的目的,以防信息的泄密.该过程不仅没有增加原有的计算复杂度,还提高了运算效率.通过只将加密后的线性方程组中的矩阵发送给云服务器的方式,极大地降低了信息泄露的可能性,既增加了保密性,也没有增加原有的计算复杂度.用户在接收到云服务器返回的结果后,通过简单的计算便能验证云服务器是否诚实,也可通过简单的计算来求解大规模线性方程组.第二个是基于双线性对的外包计算协议.此协议通过查表法的方式,从表中随机选出一组十四元组,再通过逻辑分割的方式对双线性对进行盲化并分割成随机碎片.所提出算法的一个显著特点是用户从不需要完成一些代价昂贵的操作,如幂指数运算和点乘运算.与目前同类论文相比,此协议减少了大量的计算.第三个是基于模指数的外包计算协议.此协议通过调用子程序,对模指数的底数和指数分别进行盲化,降低信息泄露的可能性,又降低了计算量.而且协议使用的是单个云服务器,用户检测到错误的概率为1.在这三个协议中,都做到了保护输入和输出的隐私信息,并且通过使用简单有效的验证方法,使得能够以概率1检测出接收到的从云服务器处返回的结果的正确性.与此同时,对协议中的计算复杂度进行分析,并与同类的协议进行比较,这些协议的结果都提高了用户计算的有效性.
展开