现代新型认证密钥协商协议若干问题的研究

第1章 绪论
1.1 研究背景和意义
1.2 可证明安全的认证密钥协商协议的研究现状与存在的问题
1.2.1 研究现状
1.2.2 存在的问题
1.3 主要工作和研究成果
第2章 基础知识
2.1 计算复杂性基本概念
2.2 相关密码学组件与计算复杂性难题假设
2.2.1 哈希函数
2.2.2 消息认证码
2.2.3 数字签名
2.2.4 理想密码模型
2.2.5 随机预言模型和标准模型
2.2.6 双线性配对
2.2.7 计算复杂性难题假设
2.2.8 陷门测试技术与分叉引理
2.3 认证密钥协商协议的设计规范和设计需求
2.3.1 认证密钥协商协议的设计规范
2.3.2 认证密钥协商协议的设计需求
小结
第3章 强安全基于身份的认证密钥协商协议研究
3.1 强安全基于身份的认证密钥协商协议
3.1.1 引言
3.1.2 基于身份的eCK模型
3.1.3 一个基于身份的认证密钥协商方案
3.1.4 安全分析
3.1.5 一个计算上更高效的变体
3.1.6 协议比较
3.2 强安全可托管基于身份的认证密钥协商协议
3.2.1 引言
3.2.2 安全模型
3.2.3 一个可托管的基于身份的认证密钥协商协议
3.2.4 安全分析
3.2.5 协议比较
3.3 托管模式下强安全基于身份的认证密钥协商协议的构造
3.3.1 引言
3.3.2 安全模型
3.3.3 一个新的可托管基于身份的认证密钥协商协议
3.3.4 安全分析
3.3.5 两个计算上更高效的变体
3.3.6 协议比较
小结
第4章 无双线性配对的基于身份的认证密钥协商协议研究
4.1 一个适用于SIP的高效基于身份的认证密钥协商机制
4.1.1 引言
4.1.2 SIP的HTTP摘要认证过程
4.1.3 无证书密码系统的基本设计思想
4.1.4 一个依赖于椭圆曲线离散对数问题的基于身份的签名方案
4.1.5 一个无双线性配对的基于身份的认证密钥协商协议
4.1.6 所提出的SIP认证密钥协商机制
4.1.7 讨论
4.2 强安全无双线性配对的基于身份的认证密钥协商协议
4.2.1 引言
4.2.2 安全模型
4.2.3 一个无双线性配对基于身份的认证密钥协商协议
4.2.4 一个安全性基于GDH假设的更高效的变体
4.2.5 讨论
小结
第5章 强安全无证书的认证密钥协商协议研究
5.1 引言
5.2 安全模型
5.3 一个无证书的两方认证密钥协商协议
5.4 安全分析
5.5 相关协议的比较
小结
第6章 格上抗量子认证密钥协商协议研究
6.1 研究背景
6.2 基本原理
6.2.1 符号表示
6.2.2 格的定义及其上基本计算问题
6.2.3 格上现代计算问题
6.3 基于格密钥协商协议的分析和讨论
6.3.1 主要相关工作概述
6.3.2 基于格认证密钥协商协议基本设计模式概述和讨论
6.4 总结与展望
6.4.1 总结
6.4.2 展望
小结
参考文献