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

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

网络与信息安全学报 ›› 2016, Vol. 2 ›› Issue (11): 52-60.doi: 10.11959/j.issn.2096-109x.2016.00109

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

孙瑞^1,²,田有亮^2,³

¹ 贵州大学数学与统计学院，贵州贵阳 550025
² 贵州省公共大数据重点实验室，贵州贵阳 550025
³ 贵州大学计算机科学与技术学院，贵州贵阳 550025

修回日期:2016-10-23 出版日期:2016-11-01 发布日期:2016-11-15
作者简介:孙瑞（1993-），女，新疆乌鲁木齐人，贵州大学硕士生，主要研究方向为密码学理论与工程。|田有亮（1982-），男，贵州六盘水人，博士，贵州大学教授、硕士生导师，主要研究方向为算法博弈论、密码学与安全协议。
基金资助:
国家自然科学基金资助项目(61363068);贵州大学博士基金资助项目(2012-024);贵州省教育厅科技拔尖人才支持基金资助项目(黔教合KY字[2016]060);贵州省教育厅科技拔尖人才支持基金资助项目(Qian Education Combined KY word[2016]06)

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

Rui SUN^1,²,You-Liang TIAN^2,³

¹ College of Mathematics and Statistics,Guizhou University,Guiyang 550025,China
² Guizhou Provincial Key Laboratory of Public Big Data,Guiyang 550025,China
³ College of Computer Science and Technology,Guizhou University,Guiyang 550025,China

Revised:2016-10-23 Online:2016-11-01 Published:2016-11-15
Supported by:
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)

摘要/Abstract

摘要：

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

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

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.

Key words: outsourcing cloud computing, determinant calculation, verifiability

中图分类号:

TP393

孙瑞,田有亮. 安全可验证的行列式云外包计算及其电子交易方案[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.

图/表 3

图1

表1

本文协议与相关协议的比较"

方案	计算复杂度	获取输入信息的概率	获取输出信息的概率	可验证性	密钥长度
方案	计算复杂度	获取输入信息的概率	获取输出信息的概率	可验证性	\|S_n\|	\|F_q\|
文献[20]	O(n²)	$(\frac{1}{n!}) (\frac{1}{{\| F_{q} \|}^{n}})$	$(\frac{1}{n!}) (\frac{1}{{\| F_{q} \|}^{n}})$	×	1	n
文献[14]	O(n²)	${(\frac{1}{n!})}^{2} {(\frac{1}{{\| F_{q} \|}^{n}})}^{2}$	${(\frac{1}{n!})}^{2} {(\frac{1}{{\| F_{q} \|}^{n}})}^{2}$	√	2(m+2)	2(m+2)n
文献[15]	O(n²)	$\frac{1}{2} (\frac{1}{n!}) {(\frac{1}{n!})}^{2} (\frac{1}{{\| F_{q} \|}^{2 n + 1}})$	$\frac{1}{2} (\frac{1}{n!}) {(\frac{1}{n!})}^{2} (\frac{1}{{\| F_{q} \|}^{2 n + 1}})$	√	8	8n
本文协议	O(n²)	$\frac{1}{m + 2} \frac{1}{n!} {(\frac{1}{{\| F_{q} \|}^{n}})}^{2}$	$(\frac{1}{m + 2} + \frac{1}{C_{m + 2}^{m} {\| F_{q} \|}^{m}}) \frac{1}{{\| F_{q} \|}^{n}}$	√	m+2	2(m+2)n

表1

图2

参考文献 20

[1]	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.
[2]	冯登国, 张敏, 张妍 ,等. 云计算安全研究[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.
[3]	罗军舟, 金嘉晖, 宋爱波 ,等. 云计算:体系架构与关键技术[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.
[4]	ATALLAH M J , KONSTANTINOS N ,et al. Secure outsourcing of some computations[R]. Indiana:Purdue University, 1996.
[5]	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.
[6]	ATALLAH M J , FRIKKEN K . Securely outsourcing linear algebra computations[C]// The 5th ACM Symposium on Information. 2010: 48-59.
[7]	SHAMIRA . How to share a secret[J]. Communications of the ACM, 1979,22(11): 612-613.
[8]	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.
[9]	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.
[10]	MOTWANIR , RAGHAVANP . Randomized algorithms[M]. Cambridge: Cambridge University PressPress, 1995: 195-196.
[11]	GENTRY C , . Fully homomorphic encryption using ideal lattices[C]// ACM Symposium on Theory of Computing. 2009: 169-178.
[12]	靳方元 . 基于矩阵同态委托计算方案的研究与设计[D]. 苏州:苏州大学, 2013.
	JIN F Y . The research and design based on matrix homomorphism entrust calculation scheme[D]. Suzhou:Soochow University, 2013.
[13]	MOHASSEL P . Efficient and secure delegation of linear algebra.Cryptology ePrint Archive,Report 2011/605[DB/OL]. .
[14]	胡杏, 裴定一, 唐春明 . 可验证安全外包矩阵计算及其应用[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.
[15]	邬国欣 . 矩阵运算可验证安全外包计算协议的研究[D]. 西安:西安电子科技大学, 2014.
	WU G X . Study of outsourcing matrix matrix verifiable security outsourcing computation protocol[D]. Xi’an:Xidian University, 2014.
[16]	罗文俊, 李祥 . 多方安全矩阵乘法协议及应用[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.
[17]	邵志毅 . 云环境下的隐私保护计算[D]. 西安:陕西师范大学, 2015.
	SHAO Z Y . Privacy protection under the cloud environment[D]. Xi’an:Shaanxi Normal University, 2015.
[18]	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.
[19]	王开荣, 杨大地 . 应用数值分析[M]. 北京: 高等教育出版社, 2010.
	WANG K R , YANG D D . Analysis of applied values[M]. Beijing: Higher Education PressPress, 2010.
[20]	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.

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

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

在线阅读

pdf下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 3

参考文献 20

相关文章 1

Metrics

推荐阅读 0