移动Ad Hoc网络安全路由协议设计与分析技术研究
| 摘要 | 第1-11页 |
| Abstract | 第11-14页 |
| 插图索引 | 第14-15页 |
| 附表索引 | 第15-16页 |
| 缩略语表 | 第16-17页 |
| 第1章 绪论 | 第17-30页 |
| ·密码学协议形式化分析方法 | 第17-23页 |
| ·计算复杂性方法 | 第17-19页 |
| ·符号模型方法 | 第19-21页 |
| ·融合两种模型的方法 | 第21-23页 |
| ·路由协议形式化分析方法 | 第23-26页 |
| ·计算模型方法 | 第24页 |
| ·符号模型方法 | 第24-26页 |
| ·本文的主要工作和结构安排 | 第26-30页 |
| ·主要工作和研究成果 | 第27-28页 |
| ·本文的结构安排 | 第28-30页 |
| 第2章 预备知识 | 第30-42页 |
| ·通用可复合模型 | 第30-36页 |
| ·真实模型 | 第31页 |
| ·理想模型 | 第31-33页 |
| ·协议安全实现理想函数 | 第33页 |
| ·混合模型 | 第33-35页 |
| ·通用可复合定理 | 第35-36页 |
| ·协议复合逻辑 | 第36-41页 |
| ·协议编程语言 | 第36-38页 |
| ·协议逻辑 | 第38页 |
| ·证明系统 | 第38-40页 |
| ·诚实规则 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第3章 路由安全威胁模型 | 第42-54页 |
| ·现有威胁模型 | 第42-43页 |
| ·active-n-m 威胁模型 | 第42页 |
| ·参数化威胁模型 | 第42-43页 |
| ·自适应威胁模型 | 第43页 |
| ·Dolev-Yao 威胁模型 | 第43-44页 |
| ·层次化威胁模型 | 第44-48页 |
| ·攻击者能力 | 第44-46页 |
| ·形式化描述 | 第46-48页 |
| ·相关威胁模型比较 | 第48页 |
| ·应用举例 | 第48-53页 |
| ·endairA 协议及其安全分析 | 第48-51页 |
| ·ARAN 协议及其安全分析 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第4章 通用可复合安全的路由协议 | 第54-76页 |
| ·多径安全距离矢量路由 SMDVR | 第54-64页 |
| ·累积多路径算法概述 | 第55-57页 |
| ·AODV 协议概述 | 第57页 |
| ·SMDVR 协议关键技术 | 第57-60页 |
| ·SMDVR 协议安全机制 | 第60-61页 |
| ·SMDVR 协议路由发现机制 | 第61-64页 |
| ·SMDVR 协议安全需求 | 第64-66页 |
| ·攻击能力假设 | 第64页 |
| ·攻陷网络拓扑模型 | 第64-65页 |
| ·可信系统状态 | 第65-66页 |
| ·路由协议通用可复合安全模型 | 第66-68页 |
| ·真实模型 | 第66页 |
| ·理想模型 | 第66-67页 |
| ·理想函数 | 第67-68页 |
| ·安全定义 | 第68页 |
| ·SMDVR 协议分析 | 第68-74页 |
| ·安全性分析 | 第68-72页 |
| ·相关协议方案比较 | 第72-74页 |
| ·本章小结 | 第74-76页 |
| 第5章 路由协议符号安全模型 | 第76-88页 |
| ·网络模型 | 第76页 |
| ·符号模型 | 第76-83页 |
| ·语法 | 第77-78页 |
| ·符号协议 | 第78-79页 |
| ·符号攻击者 | 第79-81页 |
| ·符号协议执行 | 第81-83页 |
| ·符号模型逻辑 | 第83-87页 |
| ·逻辑公式 | 第83页 |
| ·逻辑公式语义 | 第83-85页 |
| ·证明系统 | 第85-87页 |
| ·协议分析步骤 | 第87页 |
| ·本章小结 | 第87-88页 |
| 第6章 符号模型安全的路由协议 | 第88-102页 |
| ·网络编码系统 | 第88-89页 |
| ·编码感知路由 DCAR | 第89-91页 |
| ·编码条件 | 第89-90页 |
| ·安全分析 | 第90-91页 |
| ·编码感知安全路由 DCASR | 第91-93页 |
| ·安全目标 | 第91页 |
| ·“编码+路由”发现过程 | 第91-93页 |
| ·安全分析 | 第93-100页 |
| ·DCASR 协议形式化描述 | 第93-95页 |
| ·环境假设 | 第95页 |
| ·符号安全目标 | 第95-97页 |
| ·安全证明 | 第97-100页 |
| ·相关方案比较 | 第100-101页 |
| ·本章小结 | 第101-102页 |
| 第7章 路由协议通用可复合符号分析 | 第102-120页 |
| ·密码学原语理想函数 | 第102-106页 |
| ·数字签名 | 第102-103页 |
| ·消息认证 | 第103-105页 |
| ·对称加密 | 第105-106页 |
| ·简单协议 | 第106-111页 |
| ·语法 | 第106-108页 |
| ·语义 | 第108-111页 |
| ·映射定理 | 第111-115页 |
| ·编码感知路由协议安全定义 | 第115-119页 |
| ·编码感知路由理想函数 | 第115-117页 |
| ·符号安全准则 | 第117页 |
| ·符号安全准则的可靠性 | 第117-119页 |
| ·本章小结 | 第119-120页 |
| 总结与展望 | 第120-122页 |
| 参考文献 | 第122-133页 |
| 致谢 | 第133-134页 |
| 附录 A 攻读博士学位期间所发表的学术论文 | 第134-135页 |
| 附录 B 攻读博士学位期间所参与的项目 | 第135页 |
