随着无线网络的普及和应用，人们对无线网络的依赖程度越来越高。与此同时无线网络的安全性成为人们关注的焦点。由于无线网络传输媒体的开放性、无线终端的移动性和网络拓扑结构的动态性，以及无线终端计算能力和存储能力的局限性，使得有线网络环境下的许多安全方案和技术不能直接应用于无线网络，同时也给安全方案的实施增加了许多限制。本文对无线网络的安全方法与技术进行了比较深入的研究，研究内容包括：无线网络认证协议的分析与设计、基于CK模型的可证安全的密钥交换协议的设计理论、群组密钥管理协议、无线网络的可生存性和移动电子商务微支付技术。主要研究成果有： 1．在分析现有无线网络认证协议的基础上，总结了认证协议分析与设计的基本方法和基本技术，提出了无线网络认证协议设计的一般要求，设计了一种新的具有用户匿名性的无线认证协议—WSAP，并对WSAP协议进行了形式化分析。 2．研究了无线网络环境下的认证的密钥交换与密钥协商协议的形式化设计方法，基于Canetti-Krawczyk模型，提出了无线网络环境下可证安全的密钥交换协议分析与设计的一般方法，并运用这种方法进行了协议的分析与设计。 3．研究了无线网络环境下的群组密钥管理协议设计的理论与方法，给出了安全群组密钥管理协议有关性质的形式化定义，基于单向积聚函数，提出了一种新的无线网络环境下的安全群组密钥管理协议。 4．从网络体系结构和安全协议设计两个方面研究了无线网络系统的可生存性，提出了一种可生存的无线网络服务器结构。以无线IP网络为例对无线网络的可生存性进行了研究，利用冗余技术，建立冗余的代理机制，提出了一种基于移动IP的无线网络系统的可生存方案。 5．研究了无线网络安全技术的应用，基于Hash函数，设计了一种移动电子商务中的多方微支付方案，重点解决了移动电子商务中的多方微支付中的安全问题。