1
Fouman Faculty of Engineering, College of Engineering, University of Tehran, Tehran, Iran
2
IUST
Abstract
Ad-hoc mobile networks are used in various fields. These networks require special routing protocols due to their characteristics. These protocols usually focus on providing better service and more efficiency and ignore security issues. Therefore, there are many threats including sniffing, tampering, and spoofing in these networks. Among these routing protocols, we can refer to the optimized link state routing protocol, or OLSR for short. The main purpose of this protocol is to prevent the unnecessary sending of control packets so that less congestion is created in network traffic and efficiency and service are improved. However, no security considerations are defined for the OLSR protocol, and thus it is the target of many attacks. There are researches in which the security of the OLSR protocol has been investigated, but in none of them, no comprehensive security analysis has been provided using formal methods. In this paper, a formal method based on the SPAN tool has been presented for the security analysis of the OLSR protocol, by using which the vulnerabilities reported for it have been identified and confirmed. Finally, cryptography-based solutions have been proposed to address these vulnerabilities.
Naghash Asadi, A., & Abdollahi Azgomi, M. (2024). Formal Analysis of Security Vulnerabilities in OLSR Routing Protocol Using SPAN Tool. Electronic and Cyber Defense, 12(3), -.
MLA
Ali Naghash Asadi; Mohammad Abdollahi Azgomi. "Formal Analysis of Security Vulnerabilities in OLSR Routing Protocol Using SPAN Tool". Electronic and Cyber Defense, 12, 3, 2024, -.
HARVARD
Naghash Asadi, A., Abdollahi Azgomi, M. (2024). 'Formal Analysis of Security Vulnerabilities in OLSR Routing Protocol Using SPAN Tool', Electronic and Cyber Defense, 12(3), pp. -.
VANCOUVER
Naghash Asadi, A., Abdollahi Azgomi, M. Formal Analysis of Security Vulnerabilities in OLSR Routing Protocol Using SPAN Tool. Electronic and Cyber Defense, 2024; 12(3): -.
)