文摘
英文文摘
声明
第一章绪论
1.1 IEEE 802.11无线网络概述
1.1.1 IEEE 802.11无线网络分类
1.1.2 IEEE 802.11无线网络的技术标准
1.1.3 IEEE 802.11无线网络的媒体访问控制技术
1.1.4 IEEE 802.11无线网络的接入认证协议
1.2 IEEE 802.11 DCF协议性能的研究
1.2.1 DCF协议的性能分析方法
1.2.2 DCF协议的性能优化方法
1.3无线网络认证协议的研究
1.3.1认证协议分类
1.3.2认证协议的设计原则
1.3.3认证协议的形式化分析方法
1.4本文的主要工作和结构安排
第二章有限负载下802.11 DCF协议的性能分析及优化
2.1引言
2.2有限负载下802.11DCF协议的性能分析模型
2.2.1系统假设
2.2.2三维马尔可夫模型
2.2.3主要性能指标
2.2.4仿真分析
2.3有限负载下最小竞争窗口的优化
2.3.1最优最小竞争窗口机制
2.3.2仿真分析
2.4有限负载下数据帧长的优化
2.4.1衰落信道下的非饱和吞吐量
2.4.2最优帧长机制
2.5本章小结
第三章IEEE 802.11快速安全切换协议
3.1引言
3.2 IEEE 802.11r标准分析
3.2.1 IEEE 802.11r标准简介
3.2.2 IEEE 802.11r快速切换协议的安全性分析
3.2.3 IEEE 802.11r快速切换协议的时延分析
3.3改进的快速安全切换协议
3.3.1移动预测模型
3.3.2改进协议的切换过程
3.3.3改进协议的安全性分析
3.3.4改进协议的性能仿真
3.4本章小结
第四章802.11s Mesh网络接入认证及切换协议
4.1引言
4.2 802.11s EMSA的介绍
4.3可证明安全的802.11s MESH接入认证及切换协议
4.3.1系统模型与符号定义
4.3.2初始接入认证协议
4.3.3快速切换协议
4.3.4协议安全分析
4.3.5协议性能分析
4.4本章小结
第五章3G-WLAN接入认证协议
5.1引言
5.2 EAP-AKA
5.2.1 EAP-AKA协议介绍
5.2.2 EAP-AKA协议安全性分析
5.3离线计费机制
5.3.1快速签名机制
5.3.2快速签名的计费过程
5.4局部快速签名认证机制
5.4.1局部快速签名协议
5.4.2 WIAN内的LFSA的快速重认证流程
5.4.3 WLAN间的LFSA认证
5.5局部快速签名认证机制的分析
5.5.1安全性分析
5.5.2性能仿真
5.5.3其它考虑的问题
5.6本章小结
第六章结束语
6.1全文总结
6.2研究展望
附录A:改进协议的安全证明
致 谢
参考文献
作者在攻读博士学位期间完成的论文和科研工作