无线网络安全协议的形式化分析方法  

作　　者：金磊[1] 

机构地区：[1]新疆阿克苏教育学院,新疆阿克苏843000

出　　处：《计算机光盘软件与应用》2014年第17期293-293,295,共2页Computer CD Software and Application

摘　　要：传统的有线网络由于受到环境等条件的制约,在各方面都存在着亟需解决的问题,那么,发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法进行了全面的概述,分析了无线网络的安全威胁以及具体表现,着重探讨了无线网络安全协议的形式化分析方法。

关 键 词：无线网络安全 形式化分析 安全协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]