摘要 | 第1-6页 |
ABSTRACT | 第6-11页 |
第一章 绪论 | 第11-27页 |
·IEEE 802.11 无线网络概述 | 第11-19页 |
·IEEE 802.11 无线网络分类 | 第11-13页 |
·IEEE 802.11 无线网络的技术标准 | 第13-15页 |
·IEEE 802.11 无线网络的媒体访问控制技术 | 第15-17页 |
·IEEE 802.11 无线网络的接入认证协议 | 第17-19页 |
·IEEE 802.11 DCF 协议性能的研究 | 第19-20页 |
·DCF 协议的性能分析方法 | 第19-20页 |
·DCF 协议的性能优化方法 | 第20页 |
·无线网络认证协议的研究 | 第20-24页 |
·认证协议分类 | 第21页 |
·认证协议的设计原则 | 第21-22页 |
·认证协议的形式化分析方法 | 第22-24页 |
·本文的主要工作和结构安排 | 第24-27页 |
第二章 有限负载下802.11 DCF 协议的性能分析及优化 | 第27-43页 |
·引言 | 第27-28页 |
·有限负载下802.11DCF 协议的性能分析模型 | 第28-36页 |
·系统假设 | 第28页 |
·三维马尔可夫模型 | 第28-30页 |
·主要性能指标 | 第30-33页 |
·仿真分析 | 第33-36页 |
·有限负载下最小竞争窗口的优化 | 第36-38页 |
·最优最小竞争窗口机制 | 第37页 |
·仿真分析 | 第37-38页 |
·有限负载下数据帧长的优化 | 第38-42页 |
·衰落信道下的非饱和吞吐量 | 第39-40页 |
·最优帧长机制 | 第40-42页 |
·本章小结 | 第42-43页 |
第三章 IEEE 802.11 快速安全切换协议 | 第43-57页 |
·引言 | 第43-45页 |
·IEEE 802.11r 标准分析 | 第45-51页 |
·IEEE 802.11r 标准简介 | 第45-47页 |
·IEEE 802.11r 快速切换协议的安全性分析 | 第47-49页 |
·IEEE 802.11r 快速切换协议的时延分析 | 第49-51页 |
·改进的快速安全切换协议 | 第51-56页 |
·移动预测模型 | 第52页 |
·改进协议的切换过程 | 第52-54页 |
·改进协议的安全性分析 | 第54页 |
·改进协议的性能仿真 | 第54-56页 |
·本章小结 | 第56-57页 |
第四章 802.11s Mesh 网络接入认证及切换协议 | 第57-71页 |
·引言 | 第57-58页 |
·802.11s EMSA 的介绍 | 第58-59页 |
·可证明安全的 802.11s Mesh 接入认证及切换协议 | 第59-70页 |
·系统模型与符号定义 | 第59-61页 |
·初始接入认证协议 | 第61-63页 |
·快速切换协议 | 第63-64页 |
·协议安全分析 | 第64-68页 |
·协议性能分析 | 第68-70页 |
·本章小结 | 第70-71页 |
第五章 3G-WLAN 接入认证协议 | 第71-82页 |
·引言 | 第71-72页 |
·EAP-AKA | 第72-73页 |
·EAP-AKA 协议介绍 | 第72页 |
·EAP-AKA 协议安全性分析 | 第72-73页 |
·离线计费机制 | 第73-75页 |
·快速签名机制 | 第73-74页 |
·快速签名的计费过程 | 第74-75页 |
·局部快速签名认证机制 | 第75-78页 |
·局部快速签名协议 | 第75-76页 |
·WLAN 内的LFSA 的快速重认证流程 | 第76-77页 |
·WLAN 间的LFSA 认证 | 第77-78页 |
·局部快速签名认证机制的分析 | 第78-81页 |
·安全性分析 | 第78页 |
·性能仿真 | 第78-80页 |
·其它考虑的问题 | 第80-81页 |
·本章小结 | 第81-82页 |
第六章 结束语 | 第82-84页 |
·全文总结 | 第82-83页 |
·研究展望 | 第83-84页 |
附录A:改进协议的安全证明 | 第84-94页 |
A.1 Canetti-Krawczyk 模型及相关知识 | 第84-87页 |
A.2 改进协议的形式化证明 | 第87-94页 |
致谢 | 第94-95页 |
参考文献 | 第95-100页 |
作者在攻读博士学位期间完成的论文和科研工作 | 第100-102页 |