基于全同态加密的理性委托计算协议

doi:10.3969/j.issn.0372-2112.2019.02.030

电子学报 ›› 2019, Vol. 47 ›› Issue (2): 470-474.DOI: 10.3969/j.issn.0372-2112.2019.02.030

基于全同态加密的理性委托计算协议

李秋贤¹, 田有亮^1,2, 王缵¹

1. 贵州大学计算机科学与技术学院, 贵州贵阳 550025;
2. 公共大数据国家重点实验室, 贵州贵阳 550025

收稿日期:2017-12-13 修回日期:2018-11-05 出版日期:2019-02-25
- 通讯作者:
- 田有亮
- 作者简介:
- 李秋贤 女,1992年生,河南温县人,硕士研究生,主要研究方向为密码学与安全协议.E-mail:547230161@qq.com
- 基金资助:
- 国家自然科学基金 (No.61772008）; 贵州省教育厅科拔尖人才支持项目 (黔教合KY字[2016]060）; 贵州省科技重大专项计划 (No.20183001）; 贵州省科技计划项目 (黔科合平台人才[2017]5788号）; 教育部-中国移动科研基金研发 (No.MCM20170401）; 贵州大学培育项目 (黔科合平台人才[2017]5788）

Rational Delegation Computation Protocol Based on Fully Homomorphic Encryption

LI Qiu-xian¹, TIAN You-liang^1,2, WANG Zuan¹

1. College of Computer Science and Technology, Guizhou University, Guiyang, Guizhou 550025, China;
2. National Key Laboratory of Public Big Data, Guiyang, Guizhou 550025, China

Received:2017-12-13 Revised:2018-11-05 Online:2019-02-25 Published:2019-02-25
- Supported by:
- National Natural Science Foundation of China (No.61772008); Science and Technology Top-notch Talents Support Project of Education Department of Guizhou Province (黔教合KY字[2016]060); Science and Technology Major Project of Guizhou Province (No.20183001); Science and Technology Project of Guizhou Province (黔科合平台人才[2017]5788号); Ministry of Education - China Mobile Research Fund (No.MCM20170401); Training Project of Guizhou University (黔科合平台人才[2017]5788)

摘要/Abstract

摘要： 传统委托计算因需验证方验证其计算结果，从而导致协议效率低下.针对此问题，本文结合博弈委托代理理论和全同态加密技术，提出理性委托计算协议.该协议通过参与者之间的效用函数保证计算结果的正确性，无需验证方进行验证.首先，利用博弈委托代理理论，构造委托计算博弈模型；其次，结合全同态加密技术，构造理性委托计算协议；最后，对协议进行实验与分析，结果表明，该协议不但保证了安全性和正确性，并且全局可达帕累托最优.

关键词: 理性委托计算, 博弈论, 效用函数, 帕累托最优, 全同态加密

Abstract: The traditional delegation computation require the verification party to verify the results,which leads to low efficiency of computation protocol.To solve this problem,this paper combines the game principal-agent theory and the fully homomorphic encryption technology to propose a rational delegation computation protocol.This protocol guarantees the correctness of the results through the utility function between the participants,without the validation of the prover.Firstly,we use the game principal-agent theory to construct a game model.Secondly,we combine the fully homomorphic encryption technology to construct the rational delegation computation protocol.Finally,we test and analyze the protocol,the results show that this protocol not only guarantees the safety and validity,and can achieve global Pareto optimality.

Key words: rational delegation computation, game theory, utility function, Pareto optimality, fully homomorphic encryption

中图分类号:

TP309

李秋贤, 田有亮, 王缵. 基于全同态加密的理性委托计算协议[J]. 电子学报, 2019, 47(2): 470-474.

LI Qiu-xian, TIAN You-liang, WANG Zuan . Rational Delegation Computation Protocol Based on Fully Homomorphic Encryption[J]. Acta Electronica Sinica, 2019, 47(2): 470-474.

参考文献

[1] Goldwasser S,Kalai Y T,Rothblum G N.Delegating computation:Interactive proofs for Muggles[A].ACM Symposium on Theory of Computing[C].Victoria,British Columbia,Canada,DBLP,2008.113-122.
[2] Goldwasser S,Micali S,Rackoff C.The knowledge complexity of interactive proof systems[J].SIAM Journal on Computing,1989,18(1):186-208.
[3] Kalai Y T,Raz R.Probabilistically Checkable Arguments[M].Advances in Cryptology-CRYPTO 2009.Berlin Heidelberg:Springer,2009.143-159.
[4] Gentry,Craig.Fully homomorphic encryption using ideal lattices[J].Stoc,2009,9(4):169-178.
[5] Gennaro R,Wichs D.Fully Homomorphic Message Authenticators[M].Advances in Cryptology-ASIACRYPT 2013.Berlin Heidelberg:Springer,2013.301-320.
[6] Gennaro R,Gentry C,Parno B.Non-interactive Verifiable Computing:Outsourcing Computation to Untrusted Workers[M].Advances in Cryptology-CRYPTO 2010.Berlin Heidelberg:Springer,2010.465-482.
[7] Chung K M,Kalai Y,Vadhan S.Improved Delegation of Computation Using Fully Homomorphic Encryption[M].Advances in Cryptology-CRYPTO 2010.Berlin Heidelberg:Springer,2010.483-501.
[8] 田有亮,马建峰,彭长根,等.秘密共享体制的博弈论分析[J].电子学报,2011,39(12):2790-2795. TIAN Y L,MA J F,PENG C G,et al.Game-theoretic analysis for the secret sharing scheme[J].Acta Electronica Sinica,2011,39(12):2790-2795.
[9] 田有亮,李秋贤.理性密码协议研究进展[J].贵州大学学报:自然科学版,2018,(3):14-23. TIAN Y L,LI Q X.Research progress on rational cryptography protocol[J].Journal of Guizhou University:Natural Science Edition,2018,(3):14-23.
[10] Xiao L,Chen Y,Lin W S,et al.Indirectreciprocity security game for large-scale wireless networks[J].IEEE Transactions on Information Forensics & Security,2012,7(4):1368-1380.
[11] Xiao L,Chen T,Liu J,et al.Anti-jamming transmission stackelberg game with observation errors[J].IEEE Communications Letters,2015,19(6):949-952.
[12] Wang Y,Wu Q,Wong D S,et al.Securely Outsourcing Exponentiations with Single Untrusted Program for Cloud Storage[M].Computer Security-ESORICS 2014.Springer International Publishing,2014.326-343.
[13] Chen X,Li J,Susilo W.Efficient fair conditional payments for outsourcing computations[J].IEEE Transactions on Information Forensics & Security,2012,7(6):1687-1694.

[1]	张清华, 黄志康, 高满, 艾志华. 基于不确定性与错误分类率博弈的序贯三支决策模型[J]. 电子学报, 2022, 50(5): 1033-1041.
[2]	罗睿辞, 叶蔚, 刘学洋, 孙基男, 张世琨. 基于拥塞博弈的微服务运行时资源管理方法[J]. 电子学报, 2019, 47(7): 1497-1505.
[3]	张恒巍, 黄世锐. Markov微分博弈模型及其在网络安全中的应用[J]. 电子学报, 2019, 47(3): 606-612.
[4]	黄健明, 张恒巍. 基于随机演化博弈模型的网络防御策略选取方法[J]. 电子学报, 2018, 46(9): 2222-2228.
[5]	张恒巍, 李涛, 黄世锐. 基于攻防微分博弈的网络安全防御决策方法[J]. 电子学报, 2018, 46(6): 1428-1435.
[6]	张恒巍, 黄健明. 基于Markov演化博弈的网络防御策略选取方法[J]. 电子学报, 2018, 46(6): 1503-1509.
[7]	李子臣, 张卷美, 杨亚涛, 张峰娟. 基于NTRU的全同态加密方案[J]. 电子学报, 2018, 46(4): 938-944.
[8]	汪志勇, 张沪寅, 徐宁, 郝圣. 认知无线电网络中基于随机学习博弈的信道分配与功率控制[J]. 电子学报, 2018, 46(12): 2870-2877.
[9]	段然, 顾纯祥, 祝跃飞, 郑永辉, 陈莉. 一种NTRU格上基于身份全同态加密体制设计[J]. 电子学报, 2018, 46(10): 2410-2417.
[10]	陈白, 辛敏洁, 刘伟静, 姚宁, 郝晓辰, 汝小月. 一种基于链路质量的自维护拓扑控制博弈算法[J]. 电子学报, 2016, 44(9): 2227-2234.
[11]	辛丹, 顾纯祥, 郑永辉, 光焱, 康元基. 利用RLWE构造基于身份的全同态加密体制[J]. 电子学报, 2016, 44(12): 2887-2893.
[12]	李鑫, 孙晋, 肖甫, 田江山. 基于工艺参数扰动的IC参数成品率多目标优化算法[J]. 电子学报, 2016, 44(12): 2960-2966.
[13]	卜湛, 伍之昂, 曹杰, 朱桂祥. 在线评论情感计算与博弈预测[J]. 电子学报, 2015, 43(12): 2530-2535.
[14]	贾亚男, 岳殿武. 博弈论框架下认知小蜂窝网络的动态资源分配算法[J]. 电子学报, 2015, 43(10): 1911-1917.
[15]	刘静, 汤光明. 大容量自适应隐写对抗的博弈研究[J]. 电子学报, 2014, 42(10): 1963-1969.

基于全同态加密的理性委托计算协议

Rational Delegation Computation Protocol Based on Fully Homomorphic Encryption

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics