安全协议的理性模型与理性公平性及其机制设计方法研究

项目名称： 安全协议的理性模型与理性公平性及其机制设计方法研究

项目编号： No.61262073

项目类型： 地区科学基金项目

立项/批准年度： 2013

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

项目作者： 彭长根

作者单位： 贵州大学

项目金额： 46万元

中文摘要： 理性密码学有效地扩展了传统密码学的研究领域和应用空间，已成为一个新的研究热点。本课题的目标是研究安全协议的理性模型和理性公平性的形式化定义、实现方法和基本体系，借助机制设计的理论方法以解决理性安全密码协议中的一些关键问题。具体内容有：1、参照经济系统和社会网络系统中的相关问题，探讨安全密码协议的理性模型一般问题、形式化描述、效用设计原理和基本体系。提出或完善理性公平性的语义、形式化定义及模型。针对公平交换、秘密共享和安全多方计算环境，给出理性公平性的形式化描述和实现方法；2、基于博弈论、信誉理论，研究以机制设计为核心的安全协议的理性模型构建方法及体系；3、结合理性公平性目标，研究分布式密码系统中理性基础协议的个体利益与公平性的激励相容机制；4、探讨理性模型和理性公平性的信息论描述方法，利用信息熵探讨理性密码协议的信息效率问题，通过对机制运行成本的量化，探索理性密码协议的信息资源公平性问题。

中文关键词： 安全协议；理性模型；理性公平性；机制设计；信息熵

英文摘要： The rational cryptography has effectively extended the traditional cryptography both in theory and application. It is becoming a hot topic of cryptography. The purpose of this project is to develop the formalized definitions, realization methods and basic theoretical frameworks of rational models and rational fairness in the rational secure cryptographic protocols. Based on mechanism design, some critical issues of rational secure cryptographic protocols will be solved. The specific researches as follows: Firstly, according to the related results of economic system and social network system, some general problems, formalized descriptions,design principles of payoff function and basic system will be researched in secure cryptography protocols. Semantics, formal definitions and models of rational fairness will be improved or proposed, and then, formal descriptions and design methods of rational fairness of fair exchange, secret sharing and secure multiparty computation will be provided. Secondly, based on game theory and reputation theory, we will focus on the rational modeling and architecture by using mechanism design.Thirdly,combined with the goal of rational fairness, incentive compatibility schemes between individual benefit and fairness of rational foundation protocols in distributed cryptography system will

英文关键词： Secure protocol；rational model；rational fairness；mechanism design；information entropy