| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第1章 绪论 | 第10-18页 |
| 1.1 研究背景及意义 | 第10-13页 |
| 1.2 关键技术及研究现状 | 第13-16页 |
| 1.2.1 可证明安全性研究 | 第13-15页 |
| 1.2.2 算法兑现及其安全性研究 | 第15-16页 |
| 1.3 本文研究内容及组织结构 | 第16-18页 |
| 第2章 论文相关的理论和基础知识 | 第18-34页 |
| 2.1 相关HASH函数 | 第18-22页 |
| 2.1.1 Hash函数性质及结构 | 第18-20页 |
| 2.1.2 Hash函数的标准算法 | 第20-22页 |
| 2.2 MAC和HMAC | 第22-26页 |
| 2.2.1 消息认证码MAC | 第22-24页 |
| 2.2.2 HMAC结构 | 第24-26页 |
| 2.3 密钥导出函数PBKDF2 | 第26-27页 |
| 2.4 可证明安全理论相关知识 | 第27-33页 |
| 2.4.1 攻击的分类 | 第28-29页 |
| 2.4.2 安全的基本定义 | 第29-30页 |
| 2.4.3 可证明安全理论 | 第30-33页 |
| 2.5 本章小结 | 第33-34页 |
| 第3章 密钥导出算法PBKDF2的安全性分析 | 第34-45页 |
| 3.1 WINDOWS域口令认证机制的安全性分析 | 第34-35页 |
| 3.2 PBKDF2的安全·性定义及安全模型 | 第35-36页 |
| 3.3 PBKDF2安全性证明 | 第36-43页 |
| 3.3.1 CSP-安全模型下的安全性证明 | 第37-42页 |
| 3.3.2 CMP-安全模型下的安全性证明 | 第42-43页 |
| 3.4 PBKDF2的改进方案 | 第43-44页 |
| 3.5 本章小结 | 第44-45页 |
| 第4章 WINDOWS域口令认证机制的安全性 | 第45-63页 |
| 4.1 域的概念和安全性 | 第45页 |
| 4.2 WINDOWS域口令验证HASH值提取 | 第45-49页 |
| 4.3 WINDOWS域口令认证机制验证过程 | 第49-51页 |
| 4.3.1 Windows域口令认证机制验证流程 | 第49-51页 |
| 4.3.2 Windows域口令恢复方式 | 第51页 |
| 4.4 GPU口令验证过程的实现及优化 | 第51-56页 |
| 4.4.1 GPU体系结构和CUDA编程模型 | 第51-54页 |
| 4.4.2 PBKDF2实现及优化 | 第54-56页 |
| 4.5 测试及分析 | 第56-62页 |
| 4.5.1 平台及其计算性能测试 | 第56-58页 |
| 4.5.2 Windows域口令验证机制的可计算安全性 | 第58-62页 |
| 4.6 本章小结 | 第62-63页 |
| 第5章 总结和展望 | 第63-65页 |
| 5.1 工作总结 | 第63-64页 |
| 5.2 工作展望 | 第64-65页 |
| 参考文献 | 第65-71页 |
| 硕士期间发表的论文 | 第71-72页 |
| 致谢 | 第72页 |