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

作     者：田有亮 李秋贤 张铎 王琳杰 TIAN Youliang;LI Qiuxian;ZHANG Duo;WANG Linjie

作者机构：贵州大学计算机科学与技术学院贵州贵阳550025 贵州省公共大数据重点实验室贵州贵阳550025 贵州大学数学与统计学院贵州贵阳550025 

基　　金：国家自然科学基金资助项目(No.61772008) 贵州省教育厅科技拔尖人才支持基金资助项目(No. 060) 贵州省科技重大专项计划基金资助项目(No.20183001) 贵州省科技计划基金资助项目(No.5788) 教育部-中国移动科研基金资助项目(No.MCM20170401) 贵州大学培育基金资助项目(No.5788)~~ 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2019年第40卷第7期

页      码：135-143页

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

主 题 词：理性委托计算 混淆电路 全同态加密 可证明安全 

学科分类：0810[工学-土木类] 1205[管理学-图书情报与档案管理类] 0839[0839] 08[工学] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2019133

馆 藏 号：203695827...