Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net
Lishi Chen, Chunyan Liu, Hejiao Huang · 2015
Security is a crucial problem for Wireless Mesh Networks (WMNs), and secure routing is a prerequisite for network security. Secure routing averts lots of network attacks. In this paper, a secure routing scheme called Single Trip Detection Mechanism (STDM) is proposed to detect and avoid the wormhole attack in WMNs. In STDM, both intermediate and destination nodes can detect attacks. Attacks would be detected much faster using STDM than using Round Trip Time (RTT) methods. We use Timed Colored Petri Net (TCPN) to formally model and verify STDM. Experiments results show the correctness and effectiveness of STDM using CPN Tools.