一、基本情况论文题目面向多客户端多服务器的安全可验证计算关键技术研究研究方向安全可验证计算
题目来源
课题名称
题目来源
课题层次
国家级军队（省部）级市级自选（横向、校级）有无合同
经费数
（万元）
题目来源
课题性质
理论
研究
应用基础研究应用与理论结合研究
开发性
研究
综合性工程项目其它√课题进展情况本课题按开题报告所预定的内容及进度顺利进行，对多客户端多服务器模式下的安全可验证计算中的关键技术进行研究，并从隐私保护、验证方法、并行计算等三方面入手设计多客户端多服务器模式下的可验证计算方案。解决问题的方法和已解决的主要问题
本课题针对现有的安全可验证计算方案进行了研究，从隐私保护、并行计算、验证方法三个角度分析目前现有的安全可验证计算方案的限制因素，并结合当前网络发展趋势下的多客户端多服务器模式，具体针对隐私保护、并行计算和验证效率三个方面进行了方案设计。
1.基于三重扰动和线性组合的批量矩阵乘法可验证计算方案
针对原始数据隐私保护存在安全挑战的需求，结合网络发展趋势下的多客户端模式，提出一种基于三重扰动和线性组合的批量矩阵乘法可验证计算方案。
通过对现有的矩阵乘法安全可验证计算方案的研究分析，发现原始矩阵数据隐私的保护基本采用稀疏矩阵相乘的加密方法来实现，但其中存在两个挑战：一是行或列公因子泄露原始矩阵行或列数据，二是零元素泄露原始矩阵零元素统计信息。
本文提出了一种基于三重扰动和线性组合的批量矩阵乘法可验证计算方案。基于三重扰动加密算法可以在不增加加解密计算复杂度的同时达到更强的隐私保护效果，其主要思想是通过构造特殊的上或下三角稀疏矩阵加入双重扰动（乘法扰动和加法扰动）来保护原始矩阵行或列数据，通过构造特殊的加法稀疏辞职加入单重扰动（加法扰动）来保护原始矩阵的零元素信息。
基于线性组合的验证算法可以实现云服务器计算结果的批量验证，其主要思想是引入矩阵乘法的结合律，即
和
，将原始矩阵与结果矩阵分别线性相加后，再实施批量验证，提高了结果验证效率。
基于三重扰动和线性组合的批量矩阵乘法可验证计算方案主要分为以下五个步骤：
版权归原作者 biyezuopinvip 所有， 如有侵权，请联系我们删除。