理性密码协议的效率优化及可证明安全方法研究

项目名称： 理性密码协议的效率优化及可证明安全方法研究

项目编号： No.61363068

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

立项/批准年度： 2013

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

项目作者： 田有亮

作者单位： 贵州大学

项目金额： 43万元

中文摘要： 理性密码协议是密码学与博弈论交叉研究的新兴方向，它扩展了密码协议和博弈理论的研究领域和应用空间，已成为一个研究热点。但是，已有的理性密码协议因实现相应的纳什均衡常常导致效率低下，同时适用于理性密码协议的可证明安全方法有待深入。本课题的目标是研究理性密码协议的优化模型、公平机制设计及可证明安全方法等。具体内容有：(1)通过定义理性密码协议的形式化系统，设计适用于理性密码协议的优化目标和方法，应用博弈优化方法建立理性密码协议优化设计模型；(2)定义理性密码协议的公平性形式化模型，根据算法机制设计原理设计理性密码协议的公平机制，并进一步利用均匀分割思想对公平机制进行效率优化；(3)分析通用可组合安全理论在理性密码协议安全分析方面的优势和不足，探索适应于理性密码协议的通用可组合机制及可证明安全方法；(4)基于提出的形式化模型及协议分析方法，对现有的理性密码协议进行分析，以检验所提方法的有效性。

中文关键词： 理性密码协议；通用可组合安全；博弈论；算法机制设计；公平性

英文摘要： Rational cryptographic protocol (RCP) which is an emerging direction of the cross-discipline of cryptography and game theory has effectively extended the two fields in both theory and application. It is becoming a hot topic in cryptography. However, the e

英文关键词： Rational Cryptocraphic Protocol；Universally Composable Security；Game Theory；Algorithmic Mechanism Design；Fairness