期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2019
卷号：19
期号：7
页码：116-126
出版社：International Journal of Computer Science and Network Security
摘要：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.
关键词：MANET;Passive attacks; Vulnerable;defense;Formal Methods;Security;Verification & Validation;VDM-SL; etc.
