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

• 学术论文 • 上一篇    下一篇

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

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

  1. 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-xian1, TIAN You-liang1,2, WANG Zuan1   

  1. 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: 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

中图分类号: