安全可验证的行列式云外包计算及其电子交易方案  

Secure and verifiable outsourcing of determinant computing in the cloud and its electronic trading scheme

作　　者：孙瑞[1,2] 田有亮[2,3] 

机构地区：[1]贵州大学数学与统计学院,贵州贵阳550025 [2]贵州省公共大数据重点实验室,贵州贵阳550025 [3]贵州大学计算机科学与技术学院,贵州贵阳550025

出　　处：《网络与信息安全学报》2016年第11期52-60,共9页Chinese Journal of Network and Information Security

基　　金：国家自然科学基金资助项目(No.61363068);贵州大学博士基金资助项目(No.2012-024);贵州省教育厅科技拔尖人才支持基金资助项目(No.黔教合KY字[2016]060)~~

摘　　要：针对现有的云外包计算协议中服务端可能存在的用户信息被泄露、篡改等问题,提出了一个云环境下的安全、高效、可验证的矩阵行列式外包计算协议。首先,基于矩阵模糊技术构造云外包计算协议,它能够在不需要任何困难性假设的前提下保证用户信息的安全性;其次,通过构造一类特殊的变换矩阵对明文矩阵进行处理,使用户在收到返还结果后,能有效验证所反馈的计算结果是否被篡改,性能分析表明,此协议可以有效提高云外包计算的效率;最后,给出一个行列式外包计算的电子交易框架,能够有效应用于电子商务等领域。In view of the problem that users＇ informations are leaked and tampered possiblely exists at service terminal in existing outsourcing cloud computing protocols, a secure efficient and verifiable outsourcing protocol about determinant computing in the cloud was proposed. Firstly, the outsourcing computing protocol was based on the fuzz matrix technology and needed not under the premise of any difficulty assumptions to ensure the security of users＇ informations. Secondly, by means of generating a special kind of transformation matrixes to deal with plaintext matrix, then after the users receive the returned results, the correctness of these results can be verified effectively, and the performance analysis shows this protocol can effectively improve the efficiency of outsourcing cloud computing. Finally, an electronic trading framework for determinant outsourcing computing was proposed, which could be effectively applied to e-commerce and other fields.

关 键 词：云外包计算 行列式计算 可验证性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]