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

摘要：

随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来.采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用.本文针对无线网络安全协议的形式化进行了分析和探讨.

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

分类号：TP393.08;TN915.04;F713.36

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

页码：79