若干安全认证协议的研究与设计
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 符号说明 | 第9-13页 |
| 第一章 绪论 | 第13-25页 |
| ·引言 | 第13-14页 |
| ·认证协议概述 | 第14-17页 |
| ·认证协议的基本概念 | 第14-15页 |
| ·认证协议的基本认证机制 | 第15-17页 |
| ·认证协议的安全威胁 | 第17-19页 |
| ·Dolev-Yao模型 | 第18页 |
| ·认证协议的攻击类型 | 第18-19页 |
| ·认证协议的安全性分析方法 | 第19-22页 |
| ·基于符号理论的方法 | 第19-20页 |
| ·可证明安全方法 | 第20-22页 |
| ·内容安排及主要工作 | 第22-25页 |
| 第二章 预备知识 | 第25-35页 |
| ·公钥密码体制介绍 | 第25-26页 |
| ·加密技术 | 第26-27页 |
| ·数字签名技术 | 第27-28页 |
| ·可忽略函数和多项式时间不可区分 | 第28页 |
| ·HASH函数 | 第28-29页 |
| ·双线性对 | 第29页 |
| ·相关数学问题与困难假设 | 第29-32页 |
| ·CANETTI-KRAWCZYK(CK)模型 | 第32-33页 |
| ·本章小结 | 第33-35页 |
| 第三章 多信任域认证协议研究 | 第35-53页 |
| ·引言 | 第35-36页 |
| ·研究背景 | 第35-36页 |
| ·多信任域模型 | 第36页 |
| ·一种通用多信任域认证协议 | 第36-38页 |
| ·所提协议的安全性分析 | 第38-45页 |
| ·构造AM下会话密钥安全的协议 | 第38-40页 |
| ·构造消息传输认证器 | 第40-43页 |
| ·构造UM下会话密钥安全的认证协议 | 第43-44页 |
| ·非形式化分析 | 第44-45页 |
| ·一种基于时戳的改进协议 | 第45-50页 |
| ·协议内容描述 | 第46-47页 |
| ·协议安全性分析 | 第47-50页 |
| ·协议性能分析 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第四章 基于身份的匿名认证协议研究 | 第53-73页 |
| ·引言 | 第53-55页 |
| ·相关概念 | 第53-54页 |
| ·研究现状 | 第54-55页 |
| ·一种基于身份的通用匿名认证协议 | 第55-58页 |
| ·所提协议的安全性分析 | 第58-64页 |
| ·安全性定义 | 第58-59页 |
| ·认证安全性 | 第59-61页 |
| ·匿名认证性和不可跟踪性 | 第61-64页 |
| ·一种针对无线通信网的改进协议 | 第64-70页 |
| ·无线通信网模型 | 第64-65页 |
| ·协议内容描述 | 第65-67页 |
| ·协议安全性分析 | 第67-70页 |
| ·协议性能分析 | 第70-71页 |
| ·本章小结 | 第71-73页 |
| 第五章 快速认证协议研究 | 第73-89页 |
| ·引言 | 第73页 |
| ·一种基于公钥加密的快速认证协议 | 第73-80页 |
| ·协议内容描述 | 第74-75页 |
| ·协议安全性分析 | 第75-80页 |
| ·一种基于签名和对称加密的快速认证协议 | 第80-87页 |
| ·所提快速认证的描述 | 第80-82页 |
| ·协议安全性分析 | 第82-87页 |
| ·协议性能分析 | 第87-88页 |
| ·本章小结 | 第88-89页 |
| 第六章 不使用双线性对的无证书认证协议研究 | 第89-111页 |
| ·引言 | 第89-91页 |
| ·研究背景 | 第89-90页 |
| ·无证书签密方案的形式化定义 | 第90-91页 |
| ·不采用双线性对的的无证书签密方案 | 第91-102页 |
| ·不采用双线性对的的无证书签密方案 | 第91-92页 |
| ·该签密方案的安全性分析 | 第92-101页 |
| ·性能分析 | 第101-102页 |
| ·一种不使用对的无证书认证协议 | 第102-103页 |
| ·所提协议的安全性分析 | 第103-109页 |
| ·构造AM下会话密钥安全的协议 | 第104-105页 |
| ·构造消息传输认证器 | 第105-107页 |
| ·构造UM下会话密钥安全的认证协议 | 第107-108页 |
| ·协议安全性的非形式化分析 | 第108-109页 |
| ·协议性能分析 | 第109页 |
| ·本章小结 | 第109-111页 |
| 结束语 | 第111-113页 |
| 致谢 | 第113-115页 |
| 参考文献 | 第115-127页 |
| 攻读博士学位期间的研究成果 | 第127-129页 |
