PoS - Proceedings of Science
Volume 300 - Information Science and Cloud Computing (ISCC 2017) - Sesssion III: System detection
Security Analysis of GRID Protocol for MANET based on BAN Logic
S. Han* and W. Jiao
Full text: pdf
Pre-published on: February 26, 2018
Published on: March 08, 2018
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.
DOI: https://doi.org/10.22323/1.300.0042
How to cite

Metadata are provided both in "article" format (very similar to INSPIRE) as this helps creating very compact bibliographies which can be beneficial to authors and readers, and in "proceeding" format which is more detailed and complete.

Open Access
Creative Commons LicenseCopyright owned by the author(s) under the term of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.