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

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

Chinese Journal of Network and Information Security ›› 2016, Vol. 2 ›› Issue (11): 52-60.doi: 10.11959/j.issn.2096-109x.2016.00109

• Papers • Previous Articles Next Articles

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

CLC Number:

TP393

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.

Figures/Tables 3

方案	计算复杂度	获取输入信息的概率	获取输出信息的概率	可验证性	密钥长度
方案	计算复杂度	获取输入信息的概率	获取输出信息的概率	可验证性	\|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

References 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.

Metrics

Recommended 0

No Suggested Reading articles found!

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

RichHTML

PDF下载

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 3

References 20

Related Articles 1

Metrics

Recommended 0