To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box |
|
Author |
Umar Draz, Tariq Ali, Khurshid Asghar, Asis Jamal, Aiman Anum, Sarah Javed ,Sana Yasin |
| Citation |
Vol. 19 No. 7 pp. 116-126 |
|
Abstract |
Due to less infrastructure framework Mobile Ad-hoc Networks (MANETs) also called a wireless ad-hoc network. Rapid advancement in the ad-hoc network creates a need to secure this type of network against different attacks. It is because of, indeed the secure network has a great impact on overall performance and quality of the services (QoS) parameters like communication delay, packet delivery/loss ratio and bandwidth. One of the biggest challenge is to secure this type of network from all vulnerable external and internal possible attacks. In this paper, we analyze the active and passive attacks that mostly act upon on the network and describe its mathematical based verification and validation. The cluster-based approach is designed to resolve the issue of the vulnerable attacks for ad-hoc networks. The complete analysis is designed in Formal Methods (FMs) because formal methods are the most emerging technique based on mathematics. Formal language notation tool bx called Vienna Development Method-Specification Language (VDM-SL) is used to analyze all the passive and active attacks of the MANETs. |
|
Keywords |
MANET Passive attacks, Vulnerable defense Formal Methods Security Verification & Validation VDM-SL, etc. |
|
URL |
