无证书公钥密码体制的理论与应用研究
| 作者简介 | 第1-6页 |
| 摘要 | 第6-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-12页 |
| 第一章 绪论 | 第12-26页 |
| ·引言 | 第12-14页 |
| ·无证书公钥密码体系的发展 | 第14-20页 |
| ·关于无证书公钥密码的定义 | 第15页 |
| ·关于无证书公钥密码的定义攻击模型 | 第15-16页 |
| ·无证书公钥加密理论的发展 | 第16-18页 |
| ·无证书签名理论的发展 | 第18-19页 |
| ·无证书认证密钥协商协议的研究现状 | 第19-20页 |
| ·可证明安全理论的发展 | 第20-24页 |
| ·可证明安全含义 | 第20-21页 |
| ·形式化方法 | 第21-23页 |
| ·可证明安全方法 | 第23页 |
| ·随机预言机模型下的可证明安全 | 第23-24页 |
| ·标准模型下的可证明安全 | 第24页 |
| ·论文的结构和内容安排 | 第24-26页 |
| 第二章 理论基础 | 第26-42页 |
| ·椭圆曲线 | 第26-30页 |
| ·计算复杂性问题 | 第30-34页 |
| ·计算复杂性基本概念 | 第30-31页 |
| ·计算复杂性难题假设 | 第31-34页 |
| ·椭圆曲线上的困难问题 | 第34页 |
| ·公钥密码体制的安全性定义 | 第34-42页 |
| ·公钥密码体制的攻击模型 | 第34-35页 |
| ·公钥加密体制的安全性目标 | 第35页 |
| ·公钥密码体制的攻击安全性 | 第35-42页 |
| 第三章 无公钥证书的密码体制 | 第42-52页 |
| ·无证书密码算法的定义方法 | 第42-44页 |
| ·无证书密码算法的攻击模型 | 第44-46页 |
| ·无证书公钥加密算法 | 第46-49页 |
| ·无证书公钥加密方案 | 第46-47页 |
| ·两类敌手定义 | 第47页 |
| ·无证书公钥加密安全定义 | 第47-49页 |
| ·有关困难问题及假设 | 第49页 |
| ·无证书公钥签名算法 | 第49-52页 |
| ·形式化定义 | 第49-50页 |
| ·安全模型 | 第50-52页 |
| 第四章 无证书公钥体制的认证密钥协商协议 | 第52-68页 |
| ·引言 | 第52-53页 |
| ·研究进展 | 第52-53页 |
| ·主要工作及本章内容安排 | 第53页 |
| ·形式化定义及安全属性 | 第53-55页 |
| ·认证密钥协商协议的基本概念 | 第53页 |
| ·形式化定义 | 第53-54页 |
| ·安全属性 | 第54-55页 |
| ·安全模型 | 第55-58页 |
| ·攻击模型 | 第55-56页 |
| ·攻击游戏 | 第56-57页 |
| ·安全性定义 | 第57-58页 |
| ·协议描述 | 第58-61页 |
| ·安全性证明 | 第61-65页 |
| ·安全及性能比较 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 第五章 无证书的移动 IP 注册协议 | 第68-86页 |
| ·引言 | 第68-71页 |
| ·移动 IP 机制 | 第68-70页 |
| ·研究现状 | 第70页 |
| ·本章安排 | 第70-71页 |
| ·协议描述 | 第71-76页 |
| ·信任模型 | 第71页 |
| ·无双线性对的无公钥证书签名方案 | 第71-72页 |
| ·无对运算的基于无证书公钥的移动 IP 注册协议 | 第72-76页 |
| ·安全性分析 | 第76-77页 |
| ·实体的认证 | 第76页 |
| ·完整性保护 | 第76页 |
| ·重放保护 | 第76页 |
| ·密钥的安全性 | 第76页 |
| ·保密性 | 第76-77页 |
| ·用户匿名性 | 第77页 |
| ·移动 IP 注册协议的 PCL 证明 | 第77-82页 |
| ·PCL 逻辑 | 第77-78页 |
| ·协议模型 | 第78-79页 |
| ·前提条件 | 第79-80页 |
| ·协议的分析与证明 | 第80-82页 |
| ·安全及性能比较 | 第82-84页 |
| ·安全性比较 | 第82页 |
| ·性能比较 | 第82-84页 |
| ·本章小结 | 第84-86页 |
| 第六章 无证书的无线传感器网络认证协议 | 第86-98页 |
| ·引言 | 第86-89页 |
| ·WSN 中的广播认证 | 第86-87页 |
| ·研究进展 | 第87-88页 |
| ·主要工作及本章内容安排 | 第88-89页 |
| ·无线传感器网络模型及设计原则 | 第89-90页 |
| ·网络模型 | 第89页 |
| ·攻击者模型 | 第89-90页 |
| ·设计原则 | 第90页 |
| ·无证书的签名方案 | 第90-91页 |
| ·认证方案 | 第91-93页 |
| ·安全及性能分析 | 第93-96页 |
| ·安全分析 | 第93-94页 |
| ·性能分析 | 第94-96页 |
| ·本章小结 | 第96-98页 |
| 第七章 总结与展望 | 第98-100页 |
| 缩略词符号表 | 第100-102页 |
| 致谢 | 第102-104页 |
| 参考文献 | 第104-116页 |
| 攻读博士学位期间的研究成果 | 第116-118页 |
