-
题名安全高效的可验证大型线性方程组求解外包计算方案
被引量：2
- 1
-
-
作者
张兴兰
刘祥
-
机构
北京工业大学信息学部
-
出处
《网络与信息安全学报》
2017年第6期1-7,共7页
-
基金
国家自然科学基金资助项目(No.61272044)~~
-
文摘
针对目前大型线性方程组求解在外包计算中遇到的用户信息泄露、计算结果被篡改等问题,提出一种安全高效的可验证外包计算方案。通过随机置换和线性方程组的恒等变换,构造了新的具备相似解的线性方程组,避免了当前数据伪装方案易受求解公因式法攻击的问题,同时提高了客户端的验证效率,降低了空间复杂度。性能分析表明,该方案具有极高的效率。
-
关键词
云外包计算
解线性方程组
可验证性
-
Keywords
outsourcing cloud computing
solving linear equations
verifiability
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名安全可验证的行列式云外包计算及其电子交易方案
- 2
-
-
作者
孙瑞
田有亮
-
机构
贵州大学数学与统计学院
贵州省公共大数据重点实验室
贵州大学计算机科学与技术学院
-
出处
《网络与信息安全学报》
2016年第11期52-60,共9页
-
基金
国家自然科学基金资助项目(No.61363068)
贵州大学博士基金资助项目(No.2012-024)
贵州省教育厅科技拔尖人才支持基金资助项目(No.黔教合KY字[2016]060)~~
-
文摘
针对现有的云外包计算协议中服务端可能存在的用户信息被泄露、篡改等问题,提出了一个云环境下的安全、高效、可验证的矩阵行列式外包计算协议。首先,基于矩阵模糊技术构造云外包计算协议,它能够在不需要任何困难性假设的前提下保证用户信息的安全性;其次,通过构造一类特殊的变换矩阵对明文矩阵进行处理,使用户在收到返还结果后,能有效验证所反馈的计算结果是否被篡改,性能分析表明,此协议可以有效提高云外包计算的效率;最后,给出一个行列式外包计算的电子交易框架,能够有效应用于电子商务等领域。
-
关键词
云外包计算
行列式计算
可验证性
-
Keywords
outsourcing cloud computing, determinant calculation, verifiability
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
