通信学报 ›› 2019, Vol. 40 ›› Issue (7): 135-143.doi: 10.11959/j.issn.1000-436x.2019133

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

可证明安全的理性委托计算协议

田有亮1,2,李秋贤1,张铎1,3,王琳杰1   

  1. 1 贵州大学计算机科学与技术学院,贵州 贵阳 550025
    2 贵州省公共大数据重点实验室,贵州 贵阳 550025
    3 贵州大学数学与统计学院,贵州 贵阳 550025
  • 修回日期:2019-02-15 出版日期:2019-07-25 发布日期:2019-07-30
  • 作者简介:田有亮(1982- ),男,贵州盘县人,博士,贵州大学教授,主要研究方向为博弈论、密码学与安全协议。|李秋贤(1992- ),女,河南温县人,贵州大学硕士生,主要研究方向为密码学与理性密码协议。|张铎(1987- ),男,陕西汉中人,贵州大学博士生、讲师,主要研究方向为密码学与安全协议。|王琳杰(1981- ),男,山东平度人,贵州大学博士生,主要研究方向为博弈论、密码学与安全协议。
  • 基金资助:
    国家自然科学基金资助项目(61772008);贵州省教育厅科技拔尖人才支持基金资助项目([2016]060);贵州省科技重大专项计划基金资助项目(20183001);贵州省科技计划基金资助项目([2017]5788);教育部-中国移动科研基金资助项目(MCM20170401);贵州大学培育基金资助项目([2017]5788)

Provably secure rational delegation computation protocol

Youliang TIAN1,2,Qiuxian LI1,Duo ZHANG1,3,Linjie WANG1   

  1. 1 College of Computer Science and Technology,Guizhou University,Guiyang 550025,China
    2 Guizhou Provincial Key Laboratory of Public Big Data,Guiyang 550025,China
    3 College of Mathematics and Statistics,Guizhou University,Guiyang 550025,China
  • Revised:2019-02-15 Online:2019-07-25 Published:2019-07-30
  • Supported by:
    The National Natural Science Foundation of China(61772008);Guizhou Provincial Department of Education Science and Technology Talents Support Project([2016]060);Science and Technology Major Support Program of Guizhou Province(20183001);Guizhou Provincial Science and Technology Plan Project([2017]5788);Ministry of Education-China Mobile Research Fund Project(MCM20170401);Guizhou University Cultivation Project([2017]5788)

摘要:

针对理性委托计算中的安全性需求问题,提出了一种可证明安全的理性委托计算协议。首先,在委托计算中引入博弈理论并分析理性参与者的行为偏好,并且在博弈论框架下构建理性委托计算博弈模型;其次,根据博弈模型中的均衡需求及理性委托计算的安全需求,设计理性安全模型;再次,结合Yao的混淆电路可以随机化重用的优势及全同态加密技术,构造理性委托计算协议,且协议中参与者的策略组合可以达到纳什均衡状态;最后,根据理性安全模型证明了协议的安全性和输入输出的隐私性,且性能分析表明了协议的有效性。所提理性委托计算协议在满足传统安全性的同时,又考虑了参与者的行为偏好,更符合大数据环境下的委托计算模式。

关键词: 理性委托计算, 混淆电路, 全同态加密, 可证明安全

Abstract:

A provably secure rational delegation computation scheme was proposed to solve the requirement of security issues in rational delegate computation.Firstly,game theory was introduced into delegation computation and according to rational participants behavior preferences analysis,a rational delegate computing game model was designed.Secondly,according to the equilibrium demand of game model and the security requirement of rational delegation computation,a rational security model was established.Thirdly,combining Yao's garbled circuit with its advantages of re-randomization,as well as full homomorphic encryption technology,the rational delegation computation protocol was constructed.And the combination of strategies in the protocol could reach the Nash equilibrium state.Finally,the security of the protocol and the privacy of the input and output were proved according to the rational security model,and the performance analysis shows the validity of the protocol.The proposed rational delegation computing protocol not only satisfies the traditional security,but also considers the behavioral preference of participants,which is more in line with the delegationcomputing mode under the big data environment.

Key words: rational delegate computation, garble circuit, full homomorphic encryption, provable security

中图分类号: 

No Suggested Reading articles found!