| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| 1．1 研究的背景 | 第9-11页 |
| 1．2 研究的内容和目的 | 第11-12页 |
| 1．3 课题的来源和研究思路 | 第12-13页 |
| 第二章 基于数字签名协议的安全措施 | 第13-19页 |
| 2．1 概述 | 第13页 |
| 2．2 符号和名词 | 第13-14页 |
| 2．3 攻击的种类 | 第14页 |
| 2．4 抵御假冒攻击的指导原则 | 第14-17页 |
| 2．5 抵御重放攻击的指导原则 | 第17-19页 |
| 第三章 基于数字签名的安全认证协议 | 第19-30页 |
| 3．1 概述 | 第19-21页 |
| 3．2 新的安全认证协议 | 第21-22页 |
| 3．3 对新协议的分析 | 第22-23页 |
| 3．4 用BAN逻辑分析 | 第23-29页 |
| 3．4．1 BAN逻辑简介 | 第23-24页 |
| 3．4．2 BAN逻辑的结构和公设 | 第24-26页 |
| 3．4．3 建立新协议的初始信念假设(初设)集合α | 第26页 |
| 3．4．4 建立理想化协议模型 | 第26-27页 |
| 3．4．5 建立协议预期目标集合T | 第27页 |
| 3．4．6 利用初设和逻辑公设推理 | 第27-29页 |
| 3．5 小结 | 第29-30页 |
| 第四章 基于数字签名的非否认研究 | 第30-43页 |
| 4．1 概述 | 第30-31页 |
| 4．2 相关工作 | 第31-34页 |
| 4．2．1 对卿斯汉协议的回顾和分析 | 第32-33页 |
| 4．2．2 对李先贤协议的回顾和分析 | 第33-34页 |
| 4．3 新的基于数字签名的非否认协议 | 第34-35页 |
| 4．4 对新协议的分析 | 第35-36页 |
| 4．5 用SVO逻辑分析新协议 | 第36-42页 |
| 4．5．1 SVO逻辑的公理 | 第36-37页 |
| 4．5．2 扩展SVO逻辑公理 | 第37-38页 |
| 4．5．3 基本假定 | 第38-39页 |
| 4．5．4 初始假设集合 | 第39页 |
| 4．5．5 理想化后的协议 | 第39页 |
| 4．5．6 协议的分析和证明 | 第39-41页 |
| 4．5．7 争议仲裁 | 第41-42页 |
| 4．6 小结 | 第42-43页 |
| 第五章 前向安全性的可证实数字签名协议 | 第43-52页 |
| 5．1 概述 | 第43-45页 |
| 5．2 新协议 | 第45-47页 |
| 5．2．1 基本思路 | 第45页 |
| 5．2．2 新协议描述 | 第45-47页 |
| 5．3 对新协议的分析 | 第47-48页 |
| 5．4 用SVO逻辑分析和证明 | 第48-51页 |
| 5．4．1 初始假设集合 | 第48-49页 |
| 5．4．2 理想化后的协议 | 第49-50页 |
| 5．4．3 协议的分析和证明 | 第50-51页 |
| 5．5 两种简化的变形 | 第51页 |
| 5．6 小结 | 第51-52页 |
| 结束语 | 第52-54页 |
| 参考文献 | 第54-58页 |
| 攻读学位期间的科研成果 | 第58页 |