WiMAX无线网络安全接入技术的研究.pdf

兰州理工大学
硕士学位论文
WiMAX无线网络安全接入技术的研究
姓名:张子彬
申请学位级别:硕士
专业:计算机软件与理论
指导教师:冯涛
20100415
摘要二猧曼曼由于无线传输信道的开放性,任何具有接收能力的设备都可以随时对网络进行窃听,因此,无线网络与有线网络相比较更容易遭受窃听、非法访问等网络攻击。安全认证协议作为整个无线网络安全接入系统的基础保障,一旦遭受攻击,则将使整个安全系统受到严重的威胁,不但合法客户站不能正常访问系统、提取信息,而且攻击者可以非法登录基站,进行信息窃取、信息破坏,威胁整个无线网络安全。由此可见,安全认证协议在无线网络安全接入系统中的地位是十分关尴咄缱魑R恢治尴叱怯蛲际酰饕J墙饩龅愕蕉嗟闾跫连接,以及在“最后一英里’’宽带接入领域可以作为一些现有技术的无线替代品。复杂的网络应用环境就要求尴咄绨踩ń尤爰际蹙哂薪衔A己玫陌全性,而且作为尴咄绨踩ń尤爰际醯墓丶琖无线网络安全认证协议的安全性保证愈发显得更加重要。目前,对于尴咄绨踩证协议的安全性研究虽然取得了一定的成果,但是还是缺乏在一个安全框架下进行安全认证协议的设计,进而进行形式化分析与证明的研究。为了有效应对尴咄绨踩ń尤胨媪俚耐玻疚淖叛塾谠擞组合理论建立一种更加安全的适合尴咄绲陌踩现ば椤1文在对尴咄绨踩ń尤爰际鹾虳楹侠砺劢猩钊胙芯亢头治的基础上,重点对尴咄绨踩现ば榻辛搜芯俊在尴咄绨踩现ば榈姆⒄。本文通过组合理论的协议演绎系统訢甈安全认证协议进行了形式化分析,,运用协议演绎系统菀锷杓屏艘恢中碌腤无线网络安全认证协议,并且使用协议组合逻辑隽诵滦榈哪?榛沸院桶踩灾っ鳌P设计的甈安全认证协议具有良好的密钥机密性和会话认证性,可以有效防御’セ鳌⒔淮砉セ鞯韧绻セ鳎胂钟蠵安全认证协议版本相比更加适合尴咄绺丛拥耐缬τ没肪场关键词:蝗现ば椋恍檠菀锵低常恍樽楹下呒键和极其重要的。的空中接口标准问题,它能向固定、携带、
住篡捍踖州瞡篓赫啦。#篺‘:齯。;#弧。。:篺篺.:籺飅撕衑海簎海::#籲猰;#籲::。:”三::‘:‘!V胏‘协烈。二甦酊跬觡们肿咄啪‘‘鬺似咖#!А⋯⋯。.襝ь甼弧吣焱聈衏膕藿衝А啊啊啊耙弧癹一āヽ‘‘。。。琣#籑。.。。。甧畒。。甶‘。甴簇阰。甊。,。。。‘。甴。甌瑆。·,甴。痶。。,。。;。籸。籨。..。‘。。。琲。—畉..猠、★。。瑆甀’上Ⅱ‘甦‘。“。‘【.,..。
—.—篧;;硕貉宦畚’.瑆.,’、;.
附图索引图三网融合模型框图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯橥肌踩现す掏肌茉抗芾砉掏肌安全认证过程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.踩现す掏肌图一轮现す掏肌图二轮现す掏肌岷螮认证过程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..岷螮认证模式密钥等级图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯变换过程图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..踩现す掏肌图图瓵尴咄绨擦罱尤爰际醯难芯
附表索引盗斜曜肌槿现で肭笙⒐辜怼槿现びΥ鹣⒐辜怼协议认证请求消息构件表⋯⋯⋯⋯⋯⋯⋯⋯⋯..协议认证应答消息构件表⋯⋯⋯⋯⋯⋯⋯⋯⋯..协议认证确认消息构件表⋯⋯⋯⋯⋯⋯⋯⋯⋯..槿现で肭笙⒐辜怼槿现びΥ鹣⒐辜怼槿现ぞ芫⒐辜怼槿现と啡舷⒐辜怼尴咄绨踩ɑ票冉媳怼槿现で肭笙⒐辜怼槿现びΥ鹣⒐辜怼槿现と啡舷⒐辜怼现ば榘踩员冉媳怼表表硕宦畚
日期:瓣日期:膦‘月‘鹕作者签名:枨幺粥敬殇兰州理工大学学位论文原创性声明和使用授权说明日期:捌矿年多月原创性声明/月学位论文版权使用授权书/本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:学校有权保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权兰州理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》,并通过网络向社会公众提供信息服务。作者签名:导师签名:
,为了使上网不再受时间、地点的限制,以及对多媒体业务的需求的不断增加,人们对于网络带宽的需求也日益增加。当前,光缆为主体的核心网络的建设已经形成了一定的规模,光缆的传输速率高且传输容