由于现有协议的安全性为基于某种安全假设的计算安全,依赖于敌手的计算能力,因此,本文针对恶意敌手模型,使用矩阵伪装技术对方程的系数矩阵进行隐藏,结合矩阵的LU分解(lower-upper decomposition)算法,提出一种新的信息论安全外包求解...由于现有协议的安全性为基于某种安全假设的计算安全,依赖于敌手的计算能力,因此,本文针对恶意敌手模型,使用矩阵伪装技术对方程的系数矩阵进行隐藏,结合矩阵的LU分解(lower-upper decomposition)算法,提出一种新的信息论安全外包求解线性代数方程组(information-theoretically secure outsourcing of linear algebraic equations,ITS-OutsLAE)方法 .与之前的研究相比,在保持计算和通信复杂度与现有最优方案保持一致的同时,首次将方程组唯一解的安全性提升至信息论安全(完美保密).给出了形式化的安全性证明,并通过理论分析和实验证明了所提方法的实用性.展开更多
文章考虑具有更优特性的分块矩阵,(具有性质A的矩阵),给出了预条件Jacob i、G auss-Se ide l、对称G auss-Se ide l迭代矩阵与传统块Jacob i迭代矩阵二者特征值之间的关系,作为应用,选取某个恰当的预条件因子,在传统块Jacob i迭代法不...文章考虑具有更优特性的分块矩阵,(具有性质A的矩阵),给出了预条件Jacob i、G auss-Se ide l、对称G auss-Se ide l迭代矩阵与传统块Jacob i迭代矩阵二者特征值之间的关系,作为应用,选取某个恰当的预条件因子,在传统块Jacob i迭代法不收敛的情况下,预条件块迭代法能收敛.展开更多
文摘由于现有协议的安全性为基于某种安全假设的计算安全,依赖于敌手的计算能力,因此,本文针对恶意敌手模型,使用矩阵伪装技术对方程的系数矩阵进行隐藏,结合矩阵的LU分解(lower-upper decomposition)算法,提出一种新的信息论安全外包求解线性代数方程组(information-theoretically secure outsourcing of linear algebraic equations,ITS-OutsLAE)方法 .与之前的研究相比,在保持计算和通信复杂度与现有最优方案保持一致的同时,首次将方程组唯一解的安全性提升至信息论安全(完美保密).给出了形式化的安全性证明,并通过理论分析和实验证明了所提方法的实用性.
文摘文章考虑具有更优特性的分块矩阵,(具有性质A的矩阵),给出了预条件Jacob i、G auss-Se ide l、对称G auss-Se ide l迭代矩阵与传统块Jacob i迭代矩阵二者特征值之间的关系,作为应用,选取某个恰当的预条件因子,在传统块Jacob i迭代法不收敛的情况下,预条件块迭代法能收敛.