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

孙瑞; 田有亮

doi:10.11959/j.issn.2096-109x.2016.00109

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2024-06-03

- 安全可验证的行列式云外包计算及其电子交易方案
- Secure and verifiable outsourcing of determinant computing in the cloud and its electronic trading scheme
- 网络与信息安全学报 2016年2卷第11期页码：52-60
- 作者机构：
  
  1. 贵州大学数学与统计学院，贵州贵阳 550025
  2. 贵州省公共大数据重点实验室，贵州贵阳 550025
  3. 贵州大学计算机科学与技术学院，贵州贵阳 550025
- 作者简介：
  
  [ "孙瑞（1993-），女，新疆乌鲁木齐人，贵州大学硕士生，主要研究方向为密码学理论与工程。" ]
  [ "田有亮（1982-），男，贵州六盘水人，博士，贵州大学教授、硕士生导师，主要研究方向为算法博弈论、密码学与安全协议。" ]
- 基金信息：
  
  国家自然科学基金资助项目;The National Natural Science Foundation of China(61363068);贵州大学博士基金资助项目;Doctoral Fund Project in Guizhou University(2012-024);贵州省教育厅科技拔尖人才支持基金资助项目;Science and Technology Top-notch Talent Support Project in Guizhou Province Department of Education(黔教合KY字[2016]060);贵州省教育厅科技拔尖人才支持基金资助项目;Science and Technology Top-notch Talent Support Project in Guizhou Province Department of Education(Qian Education Combined KY word[2016]06)
- DOI：10.11959/j.issn.2096-109x.2016.00109
  中图分类号： TP393
- 网络首发：2016-11，
  
  纸质出版：2016-11-15
- 稿件说明：
移动端阅览
孙瑞, 田有亮. 安全可验证的行列式云外包计算及其电子交易方案[J]. 网络与信息安全学报, 2016,2(11):52-60.

Rui SUN, You-Liang TIAN. Secure and verifiable outsourcing of determinant computing in the cloud and its electronic trading scheme[J]. Chinese Journal of Network and Information Security, 2016, 2(11): 52-60.
孙瑞, 田有亮. 安全可验证的行列式云外包计算及其电子交易方案[J]. 网络与信息安全学报, 2016,2(11):52-60. DOI： 10.11959/j.issn.2096-109x.2016.00109.

Rui SUN, You-Liang TIAN. Secure and verifiable outsourcing of determinant computing in the cloud and its electronic trading scheme[J]. Chinese Journal of Network and Information Security, 2016, 2(11): 52-60. DOI： 10.11959/j.issn.2096-109x.2016.00109.

摘要

针对现有的云外包计算协议中服务端可能存在的用户信息被泄露、篡改等问题，提出了一个云环境下的安全、高效、可验证的矩阵行列式外包计算协议。首先，基于矩阵模糊技术构造云外包计算协议，它能够在不需要任何困难性假设的前提下保证用户信息的安全性；其次，通过构造一类特殊的变换矩阵对明文矩阵进行处理，使用户在收到返还结果后，能有效验证所反馈的计算结果是否被篡改，性能分析表明，此协议可以有效提高云外包计算的效率；最后，给出一个行列式外包计算的电子交易框架，能够有效应用于电子商务等领域。

Abstract

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.

关键词

Keywords

references

ARMBRUST M , FOX A , GRIFFITH R , et al . Above the clouds:a berkeley view of cloud computing [R ] . UCB/EECS-2009-28.Berkeley,USA:Electrical Engineering and Computer Sciences,University of California at Berkeley , 2009 .

冯登国 , 张敏 , 张妍 , 等 . 云计算安全研究 [J ] . 软件学报 , 2011 , 22 ( 1 ): 71 - 83 .

FENFG D G , ZHANG M , ZHANG Y , et al . Study of cloud computing security [J ] . Journal of Software , 2011 , 22 ( 1 ): 71 - 83 .

罗军舟 , 金嘉晖 , 宋爱波 , 等 . 云计算:体系架构与关键技术 [J ] . 通信学报 , 2011 , 32 ( 7 ): 3 - 21 .

LUO J Z , JIN J H , SONG A B , et al . Cloud computing:the architecture and key technologies [J ] . Journal on Communications , 2011 , 32 ( 7 ): 3 - 21 .

ATALLAH M J , KONSTANTINOS N , et al . Secure outsourcing of some computations [R ] . Indiana:Purdue University , 1996 .

ATALLAH M J , PANTAZOPOULOS K N , RICE J R , et al . Secure outsourcing of scientific computations [J ] . Advances in Computers , 2002 , 54 ( 1 ): 215 - 272 .

ATALLAH M J , FRIKKEN K . Securely outsourcing linear algebra computations [C ] // The 5th ACM Symposium on Information . 2010 : 48 - 59 .

SHAMIRA . How to share a secret [J ] . Communications of the ACM , 1979 , 22 ( 11 ): 612 - 613 .

WANG C , REN K , WANG J . Harnessing the cloud for securely solving large-scale systems of linear equations [C ] // The 31st International Conference on Distributed Computing Systems . 2011 : 549 - 558 .

LEI X Y , LIAO X F , HUANG T W , et al . Outsourcing large matrix inversion computation to a public cloud [J ] . IEEE transactions on Cloud Computing , 2013 , 1 ( 1 ): 78 - 87 .

MOTWANIR , RAGHAVANP . Randomized algorithms [M ] . Cambridge : Cambridge University PressPress , 1995 : 195 - 196 .

GENTRY C , . Fully homomorphic encryption using ideal lattices [C ] // ACM Symposium on Theory of Computing . 2009 : 169 - 178 .

靳方元 . 基于矩阵同态委托计算方案的研究与设计 [D ] . 苏州:苏州大学 , 2013 .

JIN F Y . The research and design based on matrix homomorphism entrust calculation scheme [D ] . Suzhou:Soochow University , 2013 .

MOHASSEL P . Efficient and secure delegation of linear algebra.Cryptology ePrint Archive,Report 2011/605 [DB/OL ] . http://eprint.iacr.org/2011/605 http://eprint.iacr.org/2011/605 .

胡杏 , 裴定一 , 唐春明 . 可验证安全外包矩阵计算及其应用 [J ] . 中国科学：信息科学 , 2013 , 43 ( 7 ): 842 - 852 .

HU X , PEI D Y , TANG C M . The caculation and application of verifiable secure outsourcing matrix [J ] . Scientia Sinica Informations , 2013 , 43 ( 7 ): 842 - 852 .

邬国欣 . 矩阵运算可验证安全外包计算协议的研究 [D ] . 西安:西安电子科技大学 , 2014 .

WU G X . Study of outsourcing matrix matrix verifiable security outsourcing computation protocol [D ] . Xi’an:Xidian University , 2014 .

罗文俊 , 李祥 . 多方安全矩阵乘法协议及应用 [J ] . 计算机学报 , 2005 , 28 ( 7 ): 1230 - 1235 .

LUO W J , LI X . Multilateral security protocol and application of matrix multiplication [J ] . Chinese Journal of Computer , 2005 , 28 ( 7 ): 1230 - 1235 .

邵志毅 . 云环境下的隐私保护计算 [D ] . 西安:陕西师范大学 , 2015 .

SHAO Z Y . Privacy protection under the cloud environment [D ] . Xi’an:Shaanxi Normal University , 2015 .

YANG B , YU Y , YANG C H . A secure scalar product protocol against malicious adversaries [J ] . Journal of Computer Science ＆Technology , 2013 , 28 ( 1 ): 152 - 158 .

王开荣 , 杨大地 . 应用数值分析 [M ] . 北京 : 高等教育出版社 , 2010 .

WANG K R , YANG D D . Analysis of applied values [M ] . Beijing : Higher Education PressPress , 2010 .

ZHANG J , ZHU Y , JIN F . Practical and secure outsourcing of linear algebra in the cloud [C ] // International Conference on Advanced Cloud and Big Data . 2013 : 81 - 87 .

浏览量

973

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

安全高效的可验证大型线性方程组求解外包计算方案