网络化制造平台的两种认证协议及安全性分析
| 第一章 绪论 | 第1-15页 |
| ·问题的提出 | 第9-11页 |
| ·网络化制造发展及其安全 | 第9-11页 |
| ·研究背景 | 第11-13页 |
| ·安全协议简介 | 第11-12页 |
| ·安全协议形式化分析简介 | 第12-13页 |
| ·题目来源及作者的主要工作 | 第13-14页 |
| ·论文题目来源 | 第13-14页 |
| ·作者的主要工作 | 第14页 |
| ·章节安排 | 第14-15页 |
| 第二章 认证协议 | 第15-28页 |
| ·引言 | 第15页 |
| ·OSI 安全体系结构中的重要概念 | 第15-18页 |
| ·安全攻击 | 第15-16页 |
| ·安全服务 | 第16-17页 |
| ·安全机制 | 第17-18页 |
| ·密码学 | 第18-23页 |
| ·对称密码技术 | 第19-20页 |
| ·非对称密码 | 第20-21页 |
| ·散列函数 | 第21-22页 |
| ·密码学的应用 | 第22-23页 |
| ·认证协议 | 第23-28页 |
| ·定义和分类 | 第23页 |
| ·认证协议的安全特性 | 第23-24页 |
| ·设计安全协议要注意的几个问题和原则 | 第24-28页 |
| 第三章 安全协议的形式化分析方法 | 第28-41页 |
| ·引言 | 第28页 |
| ·BAN 类逻辑 | 第28-33页 |
| ·BAN 逻辑 | 第29-30页 |
| ·GNY 逻辑 | 第30-31页 |
| ·AT 逻辑 | 第31页 |
| ·VO 逻辑 | 第31-32页 |
| ·SVO 逻辑 | 第32-33页 |
| ·SVO 逻辑介绍 | 第33-40页 |
| ·SVO 逻辑的语法 | 第33-38页 |
| ·SVO 逻辑的语义 | 第38-40页 |
| ·小结 | 第40-41页 |
| 第四章 认证协议的设计和分析 | 第41-58页 |
| ·引言 | 第41页 |
| ·设计和分析过程中的前提假设 | 第41页 |
| ·点到点简单认证协议(P2PSAP 协议) | 第41-51页 |
| ·点到点简单认证协议定义 | 第41-45页 |
| ·使用SVO 逻辑来分析 | 第45-51页 |
| ·可信第三方的简单认证协议(TTPSAP 协议) | 第51-56页 |
| ·可信第三方的简单认证协议定义 | 第51-53页 |
| ·使用SVO 逻辑来分析 | 第53-56页 |
| ·小结 | 第56-58页 |
| 第五章 认证协议的实现 | 第58-66页 |
| ·引言 | 第58页 |
| ·实现技术介绍 | 第58页 |
| ·OpenSSL 介绍 | 第58页 |
| ·系统设计 | 第58-62页 |
| ·密钥子模块 | 第59-60页 |
| ·算法子模块 | 第60-61页 |
| ·安全协议子模块 | 第61页 |
| ·用户接口 | 第61-62页 |
| ·两种认证协议的具体实现 | 第62-66页 |
| ·算法选择 | 第62页 |
| ·协议实现步骤 | 第62-66页 |
| 第六章 总结 | 第66-68页 |
| ·本文总结 | 第66页 |
| ·下一步工作 | 第66-68页 |
| 参考文献 | 第68-72页 |
| 附录 | 第72-82页 |
| 附录A 认证协议中消息定义 | 第72-81页 |
| A.1 常量定义 | 第72页 |
| A.2 P2PSAP 步骤定义 | 第72-75页 |
| A.3 TTPSAP 步骤定义 | 第75-81页 |
| 附录B 攻读硕士学位期间发表的论文 | 第81-82页 |
| 摘要 | 第82-85页 |
| Abstract | 第85-89页 |
| 致谢 | 第89页 |
