基于公钥的可证明安全的异构无线网络认证方案

摘要：

该文针对3G-WLAN异构网络的接入安全,对异构网络的实体进行抽象,建立了一种通用的认证模型.在该模型的基础上,利用Canetti-Krawczyk (CK)模型设计了一种新的接入认证与密钥协商方案.该方案利用公钥基础设施分配公钥,简化接入端服务器和归属端服务器间的认证过程和认证信息;利用椭圆曲线密码机制,减少了移动终端的认证计算量;最后利用CK模型对提出的协议进行了形式化分析和证明.分析表明该方案是安全有效的.

关键词：异构无线网络、椭圆曲线、接入认证、公开密钥基础设施、CK模型

所属期刊栏目：31

分类号：TN918.91

资助基金：国家863计划项目2007AA01Z434资助课题

在线出版日期：2009-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2385-2391