进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降低,与此同时,无线网络技术得到了更加广泛的应用。与有线网络相比,无线网络没有庞大臃肿的网络连线,能够更加方便地被不同地域的人们使用。如此便捷的无线网络,其在使用时会给人们带来安全性等问题,因此,如何对其安全性进行改进,对人们的网络隐私加以保护,是社会及科学界关注的焦点之一。由于无线网络的开放性特点,其缺少了物理条件下的保护,通过无线介质传播等特点,其在为用户带来便捷的同时,也带来了被窃听和被监视等威胁。不断提升无线网络的安全性,对于保护人们的信息安全和资金安全具有非常重要的现实意义。本文通过对无线网络安全性的研究,为无线通信网络提供一些较为现实有用的理论参考,以保障人们在使用便捷的无线网络的同时,能够更好地保护自身信息的安全性。本文首先对无线网络的发展现状及无线网络的安全性需求进行了相应的介绍,并指出了在无线网络中存在的攻击和威胁,提出采用形式化对其安全协议进行验证的方法。其次,本文对无线网络安全协议进行验证的通信顺序进程(CSP)方法理论进行了详细地阐述,并介绍了CSP语言中常用的语义和语法。另外,本文提出对无线网络中加入安全套接字层协议(SSL),并对该协议进行形式化验证并进行改进,使得无线通信网络的安全性大大提高和完善,使其能抵御网络攻击。最后,本文对无线网络中的一个典型协议ASK协议进行形式化建模与验证,根据FDR验证工具得到的结果表明原有的ASK协议存在安全性漏洞。本文对ASK协议进行相应的改进,结果表明,改进后的安全协议能够满足无线网络安全通信的需求。