{"title":"Secure Routing against Wormhole Attack and Its Formal Verification based on Timed Colored Petri Net","authors":"Lishi Chen, Chunyan Liu, Hejiao Huang","doi":"10.1145/2815317.2815337","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":120398,"journal":{"name":"Proceedings of the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks","volume":"73 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 11th ACM Symposium on QoS and Security for Wireless and Mobile Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2815317.2815337","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
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.