Petri Analysis on Multi-Path Pre-Detection of Byzantine Nodes in WMN
Gang Liu, Jichao Yao · 2009
To solve the security issues in WMN (wireless mesh network), a session key negotiation model based on multi-path in WMN has been proposed, which realizes the pre-detection of Byzantine nodes and prevent the mesh nodes from the man-in-the-middle attacking. Petri net theory is introduced to analyze, in a formalized way, the feature and security of the new model. Solution to the loophole discovered by Petri is given. The scheme increases the security level of WMN.