教育论文网

公共无线局域网安全体系研究及其可验安全性形式化分析
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→无线电电子学、电信技术论文→无线通信论文→无线电中继通信、微波通信论文
公共无线局域网安全体系研究及其可验安全性形式化分析
论文目录
 
摘要第1-5 页
Abstract第5-11 页
主要符号对照表第11-13 页
第一章 绪论第13-18 页
　　· 公共无线局域网及其安全第13-15 页
　　· 安全协议的形式化分析第15-16 页
　　· 论文的工作和组织结构第16-18 页
第二章 公共无线局域网安全体系结构第18-46 页
　　· 公共无线局域网的架构第18-26 页
　　· 公共无线局域网的安全体系第26-34 页
　　　　· 公共无线局域网安全威胁第26-27 页
　　　　· 安全体系结构第27-30 页
　　　　· 公共无线局域网安全业务第30-31 页
　　　　· 无线局域网安全业务第31-34 页
　　· 公共无线局域网认证架构第34-40 页
　　　　· IEEE802.11认证第34-39 页
　　　　· 公共无线局域网的多方式认证体系第39 页
　　　　· 可信凭证类型第39 页
　　　　· 基于WEB方式的认证模型第39-40 页
　　· 公共无线局域网加密架构第40-44 页
　　　　· 802.11加密机制第40-42 页
　　　　· 802.11i/WPA加密机制第42-43 页
　　　　· IPSEC VPN加密机制第43-44 页
　　· 公共无线局域网密钥管理第44-46 页
第三章 形式化可验证安全模型第46-63 页
　　· 形式化可验安全性第46-52 页
　　　　· 计算复杂度第47-49 页
　　　　· 多项式时间不可区分性第49-50 页
　　　　· 预言机(Oracle Machine)第50 页
　　　　· 安全性证明的随机预言机模型第50-51 页
　　　　· 精确量化的可验证安全性理论第51-52 页
　　· PWLAN加密机制的可验安全性分析模型第52-53 页
　　　　· 基本概念第52 页
　　　　· 计算模型第52-53 页
　　· PWLAN认证和密钥交换机制的可验安全性分析模型第53-63 页
　　　　· 密钥交换分析模型－Bellare-Rogaway模型第54-57 页
　　　　　　· 合法用户的形式化第54-55 页
　　　　　　· 密钥交换通信的形式化第55-56 页
　　　　　　· 密钥交换安全目标的形式化第56-57 页
　　　　· 认证协议分析模型－增强的Bellare-Rogaway模型第57-63 页
　　　　　　· 认证参与者的的形式化第58-60 页
　　　　　　· 802.1X协议通信的形式化第60-61 页
　　　　　　· 802.1X协议安全目标的形式化第61-63 页
第四章 公共无线局域网加密技术第63-105 页
　　· WEP算法第63-64 页
　　· TKIP算法第64-73 页
　　　　· TKIP加密过程第65 页
　　　　· TKIP解密过程第65-66 页
　　　　· TKIP MIC函数第66-68 页
　　　　· TKIP混合函数第68-73 页
　　　　　　· S-box第68-70 页
　　　　　　· 混合函数第一阶段第70-71 页
　　　　　　· 混合函数第二阶段第71-73 页
　　· CCMP算法第73-81 页
　　　　· AES算法第73-79 页
　　　　　　· AES数学基础第73-75 页
　　　　　　· AES的基本结构第75-79 页
　　　　· CCM模式第79-81 页
　　　　　　· CTR加密模式第79-80 页
　　　　　　· CBC-MAC模式第80 页
　　　　　　· CCMP密码协议第80-81 页
　　· 加密算法的可验证安全分析第81-105 页
　　　　· WEP的形式化安全分析第83-87 页
　　　　　　· 数学模型的建立和描述第83 页
　　　　　　· 安全性能分析第83-87 页
　　　　· TKIP协议的形式化安全分析第87-91 页
　　　　　　· 数学模型的建立与描述第87-88 页
　　　　　　· 安全性能分析第88-91 页
　　　　· WEP,TKIP安全性能比较与分析第91-92 页
　　　　· TKIP改进算法第92-95 页
　　　　　　· 密钥混合函数设计第92-95 页
　　　　　　· 改进函数安全性能分析第95 页
　　　　· CCMP协议的形式化安全分析第95-105 页
　　　　　　· 数学模型的建立和描述第95-97 页
　　　　　　· 安全性能分析第97-105 页
第五章 公共无线局域网认证技术第105-131 页
　　· IEEE802.1X认证协议第107-109 页
　　　　· 802.1x的体系结构第108 页
　　　　· 端口控制原理第108-109 页
　　· RADIUS协议第109-111 页
　　　　· RADIUS协议特点第109-110 页
　　　　· RADIUS服务器的工作过程第110-111 页
　　· EAP扩展认证协议第111-114 页
　　　　· EAP协议在802.1x中的应用第112-113 页
　　　　· EAPOL消息的封装第113-114 页
　　　　　　· EAPOL数据包的格式第113 页
　　　　　　· EAPOL数据包的格式第113-114 页
　　· EAP-TLS认证协议第114-119 页
　　　　· TLS传输层安全协议第115-118 页
　　　　　　· 握手协议第115-117 页
　　　　　　· 记录协议第117-118 页
　　　　· EAP-TLS认证过程第118-119 页
　　· EAP-SIM认证协议第119-124 页
　　　　· SIM卡中的保密算法及密钥第120-121 页
　　　　· EAP-SIM认证过程第121-124 页
　　· 802.1X协议的可验证安全分析第124-131 页
　　　　· EAP-TLS协议的形式化分析第124-130 页
　　　　　　· EAP-TLS协议的形式化描述第124-125 页
　　　　　　· EAP-TLS协议的形式化分析第125-129 页
　　　　　　· 中间人攻击第129-130 页
　　　　· 802.1X协议的进一步考虑和改进第130-131 页
第六章 公共无线局域网密钥管理技术第131-141 页
　　· 802.11i/WPA密钥管理第132-133 页
　　· 密钥层次第133-135 页
　　· 密钥协商机制第135-138 页
　　　　· 四步握手协议第136-137 页
　　　　· 组密钥握手协议第137-138 页
　　· 密钥管理的可验证安全分析第138-141 页
　　　　· 四步握手协议的形式化描述第138-139 页
　　　　· 四步握手协议的形式化分析第139-141 页
第七章 公共无线局域网系统关键设备的设计与实现第141-158 页
　　· 无线接入点设计与实现第141-152 页
　　　　· 基于MPC852T的嵌入式系统平台第141-142 页
　　　　· 无线物理层模块第142-143 页
　　　　· MAC层软件模块第143-148 页
　　　　· 802.1X认证者模块的实现第148-151 页
　　　　· 无线接入点性能测试第151-152 页
　　· PWLAN接入控制器的研究与实现第152-158 页
第八章 论文总结与展望第158-160 页
　　· 论文总结第158-159 页
　　· 改进与展望第159-160 页
参考文献第160-168 页
个人简历、在学期间的研究成果及发表的论文第168-169 页

本篇论文共169页，点击这进入下载页面。
 
更多论文
公共无线局域网安全体系研究及其可
植物小肽对泌乳母猪、育肥猪生产性
东北亚地区经济合作研究
基于资源整合的南京市旅游营销研究
潍坊地区鸭传染性浆膜炎病原体的分
医学图像数据挖掘若干技术研究
长兴岛临港经济发展与土地利用战略
不同饲养模式的奶牛乳腺炎发病情况
水生植物滤床技术改善富营养化水体
东北地区历史文化名城文化旅游发展
鸡传染性法氏囊病病毒山东株的分离
大跨度空间钢结构施工全过程力学分
无依托资源型城市发展研究--以鸡西
束缚应激对小鼠卵母细胞发育能力的
高耸机场塔台结构风洞及振动台试验
外界因素对精子形态影响的研究
人胃癌组织MCP-1表达与巨噬细胞浸润
西洋参根cDNA文库构建及鉴定
狐阴道加德纳氏菌的分离鉴定及快速
移动通信中MIMO系统的线性预编码技
粤西野生香根草光合生理生态特性研
M-CSF对RAW264.7细胞MMP-9表达的影
不确定系统的鲁棒耗散控制研究
以视觉传感为主的移动机器人定位导
粤西野生香根草种群特性研究
NOX4在人血管细胞中的表达及其在内
基于高速跳频技术的宽带WPAN若干关
吉林省植被格局的遥感研究
人Canstatin真核表达载体的构建及其
基于多维轮力测量的车辆ABS评价系统
宋代建筑营造技术基础研究
外源性p16基因对人肝癌细胞生物学行
松嫩草地放牧系统优化模型的研究
有机多极分子和偶极分子的光学非线
苦参碱对肾移植大鼠静脉血IL-10及C
混凝土受损河岸生态修复的初步研究
几种基于纳米金标记的DNA传感器的研
胃癌组织中S100A2基因的表达及突变
水分胁迫下白榆幼苗的生理形态反应
面向机床结构设计的协同CAE系统研究
面向机床产品的协同设计支持环境关
去甲肾上腺素对THP-1巨噬细胞SR-AI
不同种源花楸种苗生理生态特性的研
潜流型人工湿地对氮污染物的去除效
乳腺癌腋窝淋巴结清扫术的应用解剖
紫花苜蓿对复合盐碱胁迫的适应性响
光纤布拉格光栅传输特性理论分析及
当代“大学城”规划建设问题及其战
典型醛类污染物与DNA形成加合物的机
利用农杆菌真空渗透在烟草中瞬时表
汉代造型艺术及其精神
汉族人群ABCA1基因单核苷酸多态性分
转基因番茄作为生物反应器的初步探
“后现代”转向中的工业设计观
现代移动通信系统中的多用户检测和
利用豆科病毒载体PEBV表达外源蛋白
5，4’-二-正辛烷氧基-7-二氟亚甲基
无线通信系统中的空时编码技术
庭院设计与主人心理需求关系的研究
农杆菌介导的马铃薯GNA基因遗传转化
血管基膜衍生多功能肽高效工程菌的
二氧化硫低温腐蚀对锅炉安全运行的
含硅聚酰亚胺及其复合薄膜的制备与
农田土壤重金属污染状况与评价--以
组织培养诱发水稻基因组两种内源转
普罗布考抗ox-LDL诱导THP-1巨噬细胞
面向Web的XML检索关键技术研究
基于SPOT5高分辨率影像的城市新增建
小麦异源多倍体化诱导的基因组变异
Skp2与p27在胃癌中的表达与意义
东平湖水资源产权管理与运作研究
磁共振成像重建与伪影去除方法研究
s-lap与凋亡相关性的研究及其多克隆
脂氧合酶抑制剂NDGA对HepG2细胞增殖
湿地资源保护与开发问题研究--以微
汉族人群肺癌易感基因及其快速检测
果蝇Hsp22多克隆抗体的制备及其在h
生态学视角的农民问题研究
去乙酰化酶3抑制p15～（INK4B）和p
四种植物源化合物对甜菜夜蛾酚氧化
组蛋白去乙酰化酶抑制剂筛选模型的
基于负载纳米二氧化钛的弥散光纤的
喷杆喷雾机风助风筒多目标优化设计
小鼠嗅球cDNA文库的构建
碳纤维抗弯加固钢筋混凝土梁的剥离
桔梗种质资源评价及白花和紫花桔梗
猫初级视皮层不同整合野细胞的感受
氢化钛热分解反应动力学与铝合金熔
生鲜鸡肉调理制品菌群结构分析和货
原核表达小鼠嗅觉受体MOR28及其多克
中国北方8种鸢尾属植物ITS序列分析
无线MIMO系统中迭代检测与信道估计
H9N2亚型流感病毒HA基因变异分析及
p53蛋白单、多克隆抗体的制备及免疫
嗜热真菌热稳定几丁质酶基因的克隆
航空弹药供应链管理方法及应用研究
碱地肤幼苗抗氧化酶系统对盐碱混合
我国农产品市场信息不对称问题研究
卡介菌多糖核酸的分离与结构研究
沥青混合料的结构组成机理研究
土地整理项目的经济学分析
抗盐野生大豆（Glycine soja）颉颃
沥青路面合理结构的研究
中国农村经纪业发展问题研究
美国扁茎大豆与不同株型大豆结构比
沥青指标的分析与评价及新指标的研
中国农产品出口应对技术性贸易壁垒
银杏幼苗初生维管系统的解剖学研究
澳门城市环境与文脉研究
产业组织结构与农产品质量管理研究
华山松与前红松的比较解剖学研究
煤加压部分气化试验研究与数值模拟
罗格列酮对胰岛素抵抗大鼠主动脉内
企业应对国外反倾销的会计策略研究
PDP用BaMgAl10O17
5，4’-二-正辛烷氧基-7-二氟亚甲基
二球悬铃木（Platanus acerifolia
低频矢量网络分析仪的设计
农村基础设施财政支出方式研究
二烯丙基二硫体内外抑制人结肠癌SW
山地次生林喜鹊巢址选择的研究
农业高新技术产业化风险投资研究
直肠癌远端肠壁浸润及Survivin、VE
火电厂负荷经济调度及报价策略的研
蝴蝶兰组织培养过程中特异蛋白表达
 
公共无线局域网论文 安全体系论文 预言机模型论文 Bellare-Rogaway模型 认证协议论文 密钥交换论文 加密机制论文 形式化分析论文
版权申明：目录由用户jasmint**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved