可证明安全的异构无线网络认证协议.doc

李亚晖1,李凤华1,2,杨卫东1,马建峰1(,陕西西安710071;,北京100070)摘要:异构无线网络中互连的安全问题是当前研究的关注点,针对3G网络和WLAN(无线局域网)所构成的异构互连网络中认证协议的安全和效率问题,提出了一种基于离线计费方法的认证协议。该协议通过对WLAN服务网络身份进行验证,抵御了重定向攻击的行为;采用局部化重认证过程,减少了认证消息的传输延时,提高了认证协议的效率。仿真结果表明,该协议的平均消息传输延时相对于EAP-AKA协议缩短了大约一半。ti-Krawczyk(CK)安全模型对新协议进行了安全性证明,证明该协议具有SK-secure安全属性。关键词:通用移动通信系统;无线局域网;会话密钥;扩展认证密钥协商协议中图分类号:TP309文献标识码:A文章编号:1000-436X(2007)11-0021-worksLIYa-hui1,LIFeng-hua1,2,YANGWei-dong1,MAJian-feng1(,XidianUniversity,Xi’an710071,China;,Beijing100070,China)Abstract:-AKAprotocolinthe3G-works,-directionattack,--Krawczyk(CK)model,:UMTS;WLAN;sessionkey;EAP-AKA1引言收稿日期:2007-07-11;修回日期:2007-10-16基金项目:国家自然科学基金资助项目(60633020,60573036);北京电子科技学院信息安全与保密重点实验室资助项目(KYKF200604)FoundationItems:TheNationalNaturalScienceFoundationofChina(60633020,60573036);The