理性外包计算的博弈论机制

作     者：岳朝跃 田有亮 张铎 王琳杰 王缵 YUE Chao-Yue;TIAN You-Liang;ZHANG Duo;WANG Lin-Jie;WANG Zuan

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

基　　金：国家自然科学基金(61662009 61772008) 贵州省教育厅科技拔尖人才支持项目(060) 贵州省科技重大专项计划(20183001) 贵州省科技计划项目(5788) 教育部-中国移动科研基金研发项目(MCM20170401) 贵州省联合基金项目(黔科合LH字7476)~~ 

出 版 物：《密码学报》 (Journal of Cryptologic Research)

年 卷 期：2019年第6卷第1期

页      码：112-122页

摘      要：理性外包计算是博弈论与外包计算相结合的产物,是理性密码学研究领域的扩展.理性外包计算的研究主要是通过设置激励,从参与者自利的角度出发,通过效用函数来保证计算结果的正确性、可靠性.目前传统外包计算研究模型本身的结构较少,特别对外包计算模型中因各参与者行为和偏好不同而可能导致外包计算任务的安全风险关注不够,并且验证过程复杂、通信开销较高;而现有的理性外包计算方案都需要用户执行验证才能保证外包计算结果的正确性.针对上述问题,本文在博弈论框架下,基于纳什均衡设计外包计算结果正确性策略规则.首先分析了外包计算中用户和服务器的偏好.提出了外包计算扩展式博弈模型,在该模型下定义了一个新的支付矩阵和效用函数;其次,根据博弈论的纳什均衡给出了理性外包计算模型的形式化定义;最后,通过实验仿真分析理性外包计算模型中的线性函数的选取条件,确保参与者达到纳什均衡时用户不要验证外包计算结果,也可以确保服务器诚实计算是它的最优策略.同时,该模型最大限度地减少了用户的费用.

主 题 词：外包计算 效用函数 纳什均衡 正确性 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 0808[工学-自动化类] 0809[工学-计算机类] 07[理学] 070104[070104] 070105[070105] 0714[0714] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13868/j.cnki.jcr.000288

馆 藏 号：203458771...