| 作者简介 | 第1-4页 |
| 摘要 | 第4-6页 |
| Abstract | 第6-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究背景及意义 | 第10-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·本文研究内容 | 第14-15页 |
| ·本文组织结构 | 第15-18页 |
| 第二章 安全协议形式化与串空间模型 | 第18-36页 |
| ·密码学基础 | 第18-19页 |
| ·对称密钥密码体制 | 第18页 |
| ·非对称密钥密码体制 | 第18页 |
| ·数字签名 | 第18-19页 |
| ·单向散列函数 | 第19页 |
| ·安全协议和形式化分析 | 第19-28页 |
| ·安全协议 | 第19-20页 |
| ·安全协议分类 | 第20-21页 |
| ·形式化分析 | 第21-22页 |
| ·形式化分析方法的现状 | 第22-28页 |
| ·串空间模型基础知识 | 第28-33页 |
| ·基本概念 | 第29-32页 |
| ·攻击者模型 | 第32-33页 |
| ·串空间模型理想与诚实理论 | 第33-36页 |
| ·理想 | 第33页 |
| ·诚实 | 第33-34页 |
| ·理想与诚实理论分析思路 | 第34-36页 |
| 第三章 匿名协议的串空间分析与扩展 | 第36-50页 |
| ·安全属性与串空间分析思路 | 第36-38页 |
| ·安全协议的安全属性 | 第36-38页 |
| ·串空间形式化分析思路 | 第38页 |
| ·匿名性分析概述 | 第38-39页 |
| ·匿名形式化框架 | 第39-41页 |
| ·发送者匿名性 | 第41-42页 |
| ·接收者匿名性 | 第42-45页 |
| ·关系匿名性 | 第45-48页 |
| ·本章小结 | 第48-50页 |
| 第四章 AD HOC安全路由协议的串空间分析和扩展 | 第50-64页 |
| ·引言 | 第50页 |
| ·认证测试理论 | 第50-54页 |
| ·基本概念 | 第50-51页 |
| ·认证测试定理 | 第51-53页 |
| ·测试定理分析方法和扩展 | 第53-54页 |
| ·一致性条件和中继者可信条件 | 第54-56页 |
| ·任意中继者可信条件 | 第56-57页 |
| ·安全协议 SRP 分析 | 第57-62页 |
| ·形式化 | 第58-59页 |
| ·一致性条件分析 | 第59-60页 |
| ·攻击实例分析 | 第60-61页 |
| ·任意中继者可信条件分析 | 第61-62页 |
| ·本章小结 | 第62-64页 |
| 第五章 基于串空间的AD HOC安全路由协议攻击分析模型 | 第64-80页 |
| ·引言 | 第64-65页 |
| ·串空间及其分析 | 第65-66页 |
| ·攻击者能力 | 第65页 |
| ·串空间分析 | 第65-66页 |
| ·攻击分析模型 | 第66-71页 |
| ·模型假设 | 第67-68页 |
| ·敌手节点攻击分析 | 第68-70页 |
| ·模型具体分析步骤： | 第70-71页 |
| ·基于扩展 SRP 协议的模型分析 | 第71-78页 |
| ·本章小结 | 第78-80页 |
| 第六章 总结与展望 | 第80-82页 |
| 参考文献 | 第82-90页 |
| 攻读博士学位期间已发表的论文 | 第90-92页 |
| 攻读博士学位期间参加的科研项目 | 第92-94页 |
| 致谢 | 第94-95页 |