密码学中理性与抗泄漏关键技术的研究
摘要 | 第1-6页 |
Abstract | 第6-9页 |
目录 | 第9-13页 |
第一章 绪论 | 第13-23页 |
·背景 | 第13-17页 |
·理性密码学 | 第15-16页 |
·抗泄漏密码学 | 第16-17页 |
·主要成果 | 第17-20页 |
·论文组织 | 第20-23页 |
第二章 基础知识 | 第23-33页 |
·基本概念 | 第23-24页 |
·可忽略函数 | 第23页 |
·占优函数 | 第23页 |
·计算不可区分 | 第23-24页 |
·最小熵 | 第24页 |
·统计距离 | 第24页 |
·博弈论基本概念 | 第24-26页 |
·策略博弈 | 第25页 |
·Nash均衡 | 第25-26页 |
·Bayesian博弈 | 第26页 |
·基于身份的加密(IBE) | 第26-28页 |
·系统需求 | 第27页 |
·安全定义 | 第27-28页 |
·格 | 第28-31页 |
·Gram-Schmidt正交化 | 第29页 |
·Euclidean范式 | 第29-30页 |
·q-ary格 | 第30页 |
·格问题 | 第30-31页 |
·带错误的学习(LWE) | 第31-33页 |
·LWE | 第31-32页 |
·定义 | 第32-33页 |
第三章 防范秘密攻击者的安全计算的博弈论实现 | 第33-51页 |
·引言 | 第33-35页 |
·Bayseian机器博弈 | 第35-37页 |
·计算博弈论的密码学框架 | 第37-41页 |
·联合机器博弈 | 第38页 |
·具有调解人的机器博弈 | 第38-40页 |
·计算情形 | 第40-41页 |
·具有惩罚的博弈 | 第41-44页 |
·证明 | 第44-49页 |
·小结 | 第49-51页 |
第四章 基于身份的哈希证明系统 | 第51-63页 |
·哈希证明系统(HPS) | 第51-55页 |
·平滑投影哈希函数 | 第52页 |
·哈希证明系统(HPS) | 第52-53页 |
·密钥泄漏攻击 | 第53-54页 |
·基于HPS的抗泄漏加密系统 | 第54-55页 |
·基于身份的哈希证明系统(IB-HPS) | 第55-62页 |
·最小熵与统计距离 | 第55-57页 |
·IB-HPS定义 | 第57页 |
·IB-HPS的性质 | 第57-62页 |
·小结 | 第62-63页 |
第五章 确定性BDH假设下抗泄漏IB-HPS | 第63-77页 |
·双线性群 | 第63-64页 |
·复杂度假设 | 第64-66页 |
·基于身份的哈希证明系统(IB-HPS) | 第66-67页 |
·定义 | 第66页 |
·IB-HPS性质 | 第66-67页 |
·基于确定性BDH困难性的IB-HPS | 第67-76页 |
·方案构建 | 第67-68页 |
·IB-HPS安全性 | 第68-76页 |
·小结 | 第76-77页 |
第六章 LWE假设下的抗泄漏的IB-HPS | 第77-97页 |
·常用概念与记法 | 第77-85页 |
·格 | 第77-78页 |
·高斯分布 | 第78页 |
·带错误的学习LWE | 第78-79页 |
·尾不等式 | 第79页 |
·困难随机格 | 第79-81页 |
·取样算法 | 第81-84页 |
·编码函数 | 第84-85页 |
·基于身份的哈希证明系统(IB-HPS) | 第85-86页 |
·随机神谕模型下的构建 | 第86页 |
·标准模型下的构建 | 第86-87页 |
·IB-HPS安全性 | 第87-95页 |
·小结 | 第95-97页 |
第七章 抗泄露的基于身份的加密方案 | 第97-105页 |
·抗泄露的IBE | 第97-99页 |
·定义 | 第97-98页 |
·安全模型 | 第98-99页 |
·基于确定性BDH的抗泄漏IBE | 第99-101页 |
·基于LWE的抗泄漏的IBE | 第101-102页 |
·安全性证明 | 第102-104页 |
·小结 | 第104-105页 |
第八章 结论 | 第105-109页 |
·总结 | 第105-106页 |
·展望 | 第106-109页 |
参考文献 | 第109-117页 |
攻读博士学位期间发表的论文 | 第117-119页 |
致谢 | 第119-121页 |
附录A 边信道攻击 | 第121-122页 |