近年来,随着无线网络技术的飞速发展,各种无线技术在相互竞争的同时,也正在逐步走向互补融合。未来无线网络发展的趋势必然是在保留现有各种无线技术的基础上,提供一种统一的、与底层技术无关的移动管理机制对它们进行整合,从而为用户提供无时无刻、无所不在的网络接入服务。实现异构无线网络的互联是一个非常复杂的系统工程,需要考虑许多问题,安全问题是其中的一个关键问题。在异构无线网络中,移动用户漫游至异构的外部网络时,通常需要通过与访问网络的相互身份认证以及会话密钥的协商来接入访问网络,这就要求访问网络和用户的归属网络之间存在必要的信任关系,而这种信任关系并不总是存在的。本文主要研究异构无线网络互联的切换认证问题。首先,分析了无线网络存在的安全威胁以及安全需求,介绍了3G和无线局域网两种无线网络的特点、体系结构以及安全认证方法。其次,介绍了3G-WLAN互联网络的的融合方案以及融合后的安全认证方法,对3G-WLAN互联网络采用的EAP-AKA协议进行了分析,指出其存在的安全缺陷和可能受到的攻击。最后,针对存在的安全问题,提出了基于Diameter基础设施AAA broker的代理认证方案,并使用支持Dolev-Yao攻击模型的安全协议验证工具AVISPA对方案进行了形式化验证。