矩阵乘积的高效可验证安全外包计算

作     者：武朵朵 来齐齐 杨波 WU Duo-Duo;LAI Qi-Qi;YANG Bo

作者机构：陕西师范大学西安710119 

基　　金：国家自然科学基金项目(61272436 61572303) 中国科学院信息工程研究所信息安全国家重点实验室开放课题(2015-MS-10) 中央高校基本科研业务费(GK201603084) 

出 版 物：《密码学报》 (Journal of Cryptologic Research)

年 卷 期：2017年第4卷第4期

页      码：322-332页

摘      要：云外包作为近年来各科研团队热点研究课题,各类复杂的科学计算问题与云外包课题的结合也备受关注.基于各类科学计算,矩阵的高效外包计算是云计算和大数据背景下的一个非常有意义的研究方向.通过分析得知,目前的矩阵外包计算协议还不能高效的实现所有矩阵之间的计算,尤其是任意非方阵之间的乘积运算.如何在不泄露用户信息的情况下,设计出高效可验证安全的矩阵乘积外包协议是一个有意义的研究问题.为此,首先利用几何学中的填补法和分割法将矩阵进行分块处理,并结合置换函数和可逆矩阵相乘的处理操作,设计出一个高效可验证且安全的矩阵乘积外包协议.其次,对提出新的矩阵乘积外包协议给出正确性、合理性、隐私性、可验证性、高效性分析及证明.并重点分析和证明本文所提出的新的高效验证方式.最后,与近几年相关矩阵运算的外包协议进行对比,我们协议不需要任何的密码学假设,合理利用盲化技术实现矩阵外包计算,且满足任意矩阵之间的乘积外包计算.

主 题 词：密码学 外包计算 矩阵运算 矩阵乘积 盲化技术 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0839[0839] 0714[0714] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13868/j.cnki.jcr.000185

馆 藏 号：203262258...