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

　　本书针对现代新型认证密钥协商协议研究中的若干问题展开探讨，其主要工作围绕着可证明安全协议的设计、分析及其安全模型的研究展开，具体内容可分为以下两个方面：一是对不依赖于传统公钥基础设施（PKI）体系的基于身份和无证书的认证密钥协商协议进行研究；二是对目前处于相关技术前沿领域的新型抗量子计算攻击的认证密钥协商协议的研究情况进行综述，并重点对基于格的抗量子（后量子）认证密钥协商协议进行探讨。全书共分6章，主要内容包括计算复杂性等基础知识、强安全基于身份的认证密钥协商协议研究、无双线性配对的基于身份的认证密钥协商协议研究、强安全无证书的认证密钥协商协议研究、格上抗量子认证密钥协商协议研究等。本书适合作为对网络安全、通信保密和密码学等相关技术感兴趣的学生、教师或者工作人员的参考用书。

暂缺《现代新型认证密钥协商协议若干问题的研究》作者简介

第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 展望
小结
参考文献