理性安全两方计算协议设计与安全性证明

项目名称： 理性安全两方计算协议设计与安全性证明

项目编号： No.61502218

项目类型： 青年科学基金项目

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 王伊蕾

作者单位： 鲁东大学

项目金额： 21万元

中文摘要： 理性安全两方计算是安全两方计算协议的进一步扩展，旨在研究考虑参与者效用函数情况下，两方计算协议中安全性尤其是公平性的实现问题。近年来，理性安全两方计算设计与安全性证明问题成为安全两方计算协议的热点。针对效用函数定义、策略设计、均衡概念和公平性等问题，本项目拟层层推进地开展以下研究：（1）分析理性敌手参与协议的动机，研究动机对效用函数的影响，考虑处于社会网络中的理性敌手策略设计问题。（2）针对博弈论和理性安全两方计算间的联系，研究不同均衡概念和协议公平性间的关系，探讨实现理性安全两方计算公平性的条件。（3）研究理想现实范型下理性安全两方计算安全性证明，包括隐私性、正确性和公平性。希望通过本项目，进一步研究理性敌手动机，探索社会网络中理性敌手效用函数定义及策略选择，分析博弈论和理性安全两方计算间的联系，研究均衡和公平性实现的条件，为理性安全两方计算协议的理论发展和实际应用提供有力支撑。

中文关键词： 理性密码协议；安全多方计算；理性敌手；Nash均衡；公平性

英文摘要： Rational secure two-party computation (RSTPC) is an extension of secure two-party computation and intends to reach security characters especially fairness in secure two-party computation when parties consider their utilities. Recently, the problems of RSTPC design and security proof are becoming hot topics in secure two-party computation. The proposal plans to gradually study the following three issues with respect to the problems of utility function definition, strategy design, equilibrium notions and fairness etc. (1) Analyze the incentives of rational adversaries to participate in the protocol, study the effects of incentives on utility function definition and consider the problems of strategy design when rational adversaries belong to social networks. (2) Study the relationships between various equilibrium notions and fairness with respect to the connect between game theory and RSTPC, discuss the conditions to achieve fairness in RSTPC. (3) Probe in provable proof in RSTPC in the scope of ideal/real paradigm including privacy, correctness and fairness. The proposal is expected to further study the incentives of rational adversaries, discuss utility function definitions and strategy choices for rational adversaries in social networks, analyze the relationship between game theory and RSTPC and finally research the conditions of equilibriums and fairness. This proposal will be greatly helpful for the theory and practice application of PSTPC.

英文关键词： Rational cryptology protocol;Security Multi-party computation;Rational Adversary;Nash equilibrium;Fairness