简介：针对WMN中出现的安全问题，提出了利用WMN多径特性的密钥协商模型，可以在防止中间人攻击的同时发现网络中的变节节点。采用Petri网理论对模型结构特性及安全性进行形式化分析，对发现的漏洞给出解决方案。通过引入新的变节节点的检测安全模型和算法，使WMN的安全性得到增强。
基于WMN变节节点多径检测的Petri网模型分析
