1. Security Analysis of GRID Protocol for MANET based on BAN Logic
- Author
-
Wencheng Jiao and Shuai Han
- Subjects
Routing protocol ,Security analysis ,Computer science ,business.industry ,ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS ,Mobile ad hoc network ,business ,Grid ,Protocol (object-oriented programming) ,Computer network - Abstract
The security of GRID routing protocol based on location information in mobile Ad Hoc networks needs to be verified, so a formal method is introduced to achieve this goal in this paper. Based on BAN logic, this method also combines the characteristics of Ad Hoc network routing protocal. The analysis results show that the protocol has security vulnerabilities in the route maintenance phase which cannot be pinpointed. From the analysis results, this method is proved to be effective and lay the foundation for the improvement of GRID protocol in the future.
- Published
- 2018