A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box

摘要

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.