满足可计算序贯均衡的理性公平计算

作     者：王伊蕾 郑志华 王皓 徐秋亮 Wang Yilei;Zheng Zhihua;Wang Hao;Xu Qiuliang

作者机构：鲁东大学信息与电气工程学院山东烟台264025 山东大学计算机科学与技术学院济南250101 山东师范大学信息科学与工程学院济南250014 

基　　金：国家自然科学基金项目(61173139) 山东省自然科学基金重点项目(ZR2011FZ005) 高等学校博士学科点专项科研基金项目(20110131110027) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2014年第51卷第7期

页      码：1527-1537页

摘      要：在安全多方计算中,公平性指的是被腐败的参与者可以得到他们的输出当且仅当诚实参与者得到他们的输出.当恶意者超过参与者数量一半时,公平性很难达到.因此在设计两方计算协议时,公平性经常被忽略.在传统多方计算中,包括总是遵守协议的诚实参与者,虽然遵守协议但是希望通过保留中间结果得到对方私有信息的半诚实参与者和任意偏离协议的恶意参与者.理性参与者不同于上述参与者,他们的主要目标是最大化他们的收益.理性计算是指带有理性参与者的计算,它开辟了实现两方安全计算中公平性的新思路.考虑了理性安全计算允许理性参与者具有不对称的信息的情况,例如效用函数和参与者的私有类型,这是与之前理性计算的不同之处.针对这种不同,提出了一种较强的均衡概念——可计算序贯均衡.可计算序贯均衡包括2部分:可计算序贯理性和一致性.它强于纳什均衡,可以用来实现理性两方计算中的公平性.最后构造了一个模拟器,证明了协议的安全性.

主 题 词：扩展博弈 理性安全计算 序贯均衡 私有类型 效用函数 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7544/issn1000-1239.2014.20131693

馆 藏 号：203704742...