摘要 | 第1-8页 |
Abstract | 第8-15页 |
符号说明 | 第15-16页 |
第1章 绪论 | 第16-32页 |
·论文的研究意义 | 第16页 |
·群应用案例 | 第16-20页 |
·远程电话会议或数字会议 | 第16-17页 |
·安全的网格计算 | 第17页 |
·基于文本的群通讯系统 | 第17-18页 |
·文件和数据共享 | 第18页 |
·计算机支持的协同工作和群件 | 第18-19页 |
·计算机支持的协作学习 | 第19页 |
·群体决策支持系统 | 第19-20页 |
·群应用中的安全目标 | 第20-25页 |
·机密性或私密性 | 第20-21页 |
·认证 | 第21-23页 |
·数据完整性 | 第23-25页 |
·群密钥建立的分类 | 第25-30页 |
·分类 | 第25-27页 |
·群密钥传输/分布 | 第27-28页 |
·群密钥交换/协商 | 第28页 |
·会话密钥 | 第28-29页 |
·群密钥建立协议的环境 | 第29-30页 |
·论文的主要内容和结构 | 第30-32页 |
第2章 密钥协商协议的安全模型分析与比较 | 第32-56页 |
·可证安全理论概述 | 第32-34页 |
·密钥协商协议中的可证安全理论 | 第34-37页 |
·密钥建立协议的信息论安全 | 第35-36页 |
·密钥建立协议的符号安全 | 第36页 |
·密钥建立协议的计算复杂度安全 | 第36-37页 |
·密钥协商协议中安全性的基本概念 | 第37-41页 |
·语义安全与已知密钥攻击 | 第38-39页 |
·假冒攻击 | 第39-40页 |
·密钥确认和互认证 | 第40页 |
·前向安全性 | 第40-41页 |
·密钥控制 | 第41页 |
·密钥协商协议中安全模型的比较与分析 | 第41-55页 |
·BR模型 | 第42-43页 |
·BCK模型 | 第43-46页 |
·CK模型 | 第46-50页 |
·Shoup模型 | 第50-51页 |
·BCPQ模型 | 第51-53页 |
·KY模型 | 第53-54页 |
·KS模型 | 第54-55页 |
·本章小结 | 第55-56页 |
第3章 基于传统公钥密码体制的群密钥协商协议 | 第56-76页 |
·预备知识 | 第59-61页 |
·数论假设 | 第59页 |
·ROM模型 | 第59页 |
·伪随机函数 | 第59-60页 |
·安全的数字签名方案 | 第60页 |
·双指数挑战-应答数字签名方案 | 第60-61页 |
·BD方案 | 第61页 |
·安全模型 | 第61-63页 |
·预言机询问 | 第61-62页 |
·AGKA协议的AKA安全性 | 第62-63页 |
·AGKA协议的前向安全性 | 第63页 |
·AGKA协议的抗临时秘密信息泄露安全性 | 第63页 |
·AGKA协议的安全性定义 | 第63页 |
·一个抗临时秘密信息泄露攻击的认证群密钥协商协议 | 第63-72页 |
·协议描述 | 第64-65页 |
·协议的安全性分析 | 第65-71页 |
·IDB协议效率分析与比较 | 第71-72页 |
·一个密钥协商协议编译器的安全性分析与改进 | 第72-75页 |
·协议编译器 | 第72-73页 |
·假冒攻击 | 第73-74页 |
·安全性分析与改进 | 第74-75页 |
·小结 | 第75-76页 |
第4章 基于身份的群密钥协商协议 | 第76-91页 |
·预备知识 | 第77-78页 |
·椭圆曲线DH问题和双线性DH问题 | 第77-78页 |
·安全模型 | 第78页 |
·新的基于身份的AGKA | 第78-83页 |
·协议描述 | 第78-80页 |
·安全性分析 | 第80-82页 |
·效率分析 | 第82-83页 |
·一个基于身份的群密钥协商协议的分析与改进 | 第83-86页 |
·ID-AGKA方案 | 第83-84页 |
·ID-AGKA协议的安全性分析 | 第84-85页 |
·ID-AGKA方案的改进 | 第85-86页 |
·改进协议的安全性分析 | 第86页 |
·一个多安全群组密钥协商协议的安全性分析与改进 | 第86-90页 |
·基于身份的多安全群组密钥协商协议 | 第86-87页 |
·安全性分析 | 第87-89页 |
·改进协议 | 第89-90页 |
·小结 | 第90-91页 |
第5章 基于口令的三方密钥协商协议 | 第91-102页 |
·预备知识 | 第93-96页 |
·判定性双线Diffie-Hellman问题(DBDH) | 第93-94页 |
·安全模型 | 第94-96页 |
·基于口令的三方密钥协商协议(3-PAKE-1) | 第96-99页 |
·协议(3-PAKE-1)描述 | 第96页 |
·协议的安全性分析 | 第96-99页 |
·一个高效的基于口令的三方认证密钥协商协议(3-PAKE-2) | 第99-100页 |
·协议3-PAKE-2描述 | 第99-100页 |
·效率分析 | 第100页 |
·小结 | 第100-102页 |
结论 | 第102-105页 |
致谢 | 第105-106页 |
参考文献 | 第106-120页 |
攻读博士学位期间发表的论文及科研成果 | 第120页 |