可验证的大规模矩阵满秩分解的安全外包

• 作者: 杜志强 郑东 赵庆兰
• 来源期刊: 计算机应用
• 关键词: 安全外包计算 满秩分解 左逆 右逆 Sherman-Morrison公式
• 年，卷（期）: 2021,（5）
• 所属期刊栏目: 网络空间安全|Cyber security
• 页码范围: 1367-1371
• 页数: 5页
• 分类号: TP309.7
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2020081237

摘要

针对矩阵满秩分解的外包算法没有对原始矩阵中零元素的个数进行保护且没有对云返回结果的正确性进行验证的问题,提出了一个可验证的矩阵满秩分解的安全外包方案.首先,在加密阶段,结合Sherman-Morrison公式构造出一个稠密的可逆矩阵来进行加密.其次,在云计算阶段,一方面,要求云计算加密矩阵的满秩分解;另一方面,在得到满秩分解的结果(一个列满秩矩阵和一个行满秩矩阵)后,要求分别云计算列满秩矩阵的左逆和行满秩矩阵的右逆.接下来,在验证阶段,用户不仅要分别验证返回的两个矩阵是否满足行满秩和列满秩,还要验证这两个矩阵相乘是否等于加密矩阵.最后,如果验证通过,则用户可以利用私钥进行解密.在协议分析中,证明了所提方案满足正确性、安全性、高效性和可验证性.同时,当选择的原始矩阵的维度是512×512时,无论怎样改变矩阵中非零元素的密度,所提方案计算得到的加密矩阵的熵恒等于18,说明方案确实可以有效保护零元素的个数.实验结果表明所提方案具有较高的效率.