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

项目编号: 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

成为VIP会员查看完整内容
0

相关内容

【AAAI2022】基于变分信息瓶颈的图结构学习
专知会员服务
19+阅读 · 2021年12月18日
【博士论文】推荐系统多行为建模与隐私保护研究
专知会员服务
51+阅读 · 2021年11月27日
【经典书】凸优化:算法与复杂度,130页pdf
专知会员服务
80+阅读 · 2021年11月16日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
专知会员服务
11+阅读 · 2021年7月16日
【2021新书】分布式优化,博弈和学习算法,227页pdf
专知会员服务
212+阅读 · 2021年5月25日
【CVPR2021】现实世界域泛化的自适应方法
专知会员服务
53+阅读 · 2021年3月31日
专知会员服务
29+阅读 · 2021年2月21日
「数据数学:从理论到计算」EPFL硬核课程
专知会员服务
41+阅读 · 2021年1月31日
去伪存真:因果约束下的图神经网络泛化
PaperWeekly
0+阅读 · 2022年2月10日
代理网关设计与实现(基于NETTY)
阿里技术
0+阅读 · 2021年11月23日
【经典书】凸优化:算法与复杂度,130页pdf
Paillier半同态加密:原理、高效实现方法和应用
阿里技术
4+阅读 · 2021年10月8日
约束进化算法及其应用研究综述
专知
0+阅读 · 2021年4月12日
【CVPR2021】现实世界域泛化的自适应方法
专知
5+阅读 · 2021年3月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月20日
Towards PAC Multi-Object Detection and Tracking
Arxiv
0+阅读 · 2022年4月15日
Arxiv
11+阅读 · 2018年4月25日
小贴士
相关VIP内容
【AAAI2022】基于变分信息瓶颈的图结构学习
专知会员服务
19+阅读 · 2021年12月18日
【博士论文】推荐系统多行为建模与隐私保护研究
专知会员服务
51+阅读 · 2021年11月27日
【经典书】凸优化:算法与复杂度,130页pdf
专知会员服务
80+阅读 · 2021年11月16日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
专知会员服务
11+阅读 · 2021年7月16日
【2021新书】分布式优化,博弈和学习算法,227页pdf
专知会员服务
212+阅读 · 2021年5月25日
【CVPR2021】现实世界域泛化的自适应方法
专知会员服务
53+阅读 · 2021年3月31日
专知会员服务
29+阅读 · 2021年2月21日
「数据数学:从理论到计算」EPFL硬核课程
专知会员服务
41+阅读 · 2021年1月31日
相关资讯
去伪存真:因果约束下的图神经网络泛化
PaperWeekly
0+阅读 · 2022年2月10日
代理网关设计与实现(基于NETTY)
阿里技术
0+阅读 · 2021年11月23日
【经典书】凸优化:算法与复杂度,130页pdf
Paillier半同态加密:原理、高效实现方法和应用
阿里技术
4+阅读 · 2021年10月8日
约束进化算法及其应用研究综述
专知
0+阅读 · 2021年4月12日
【CVPR2021】现实世界域泛化的自适应方法
专知
5+阅读 · 2021年3月31日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员