Formal Verification of a New Version of AOMDV in ad hoc Network

Amine, Djellouli Ahmed; Abdi, Mustapha Kamel; Kechar, Bouabdellah

doi:10.1016/j.procs.2014.08.025

Cited by 5 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are a lot of different formal verification tools that are used either to verify a model, security properties, and other aspects of a specified protocol. Several works have already formally studied routing protocol and security scheme . The protocol used in this paper is based on AODV, AODMV, and its variants in terms of routing aspects.…”

Section: Related Workmentioning

confidence: 99%

“…Several works have already formally studied routing protocol and security scheme. 12,25,28,35 The protocol used in this paper is based on AODV, AODMV, and its variants 2-4,6,7,10,11 in terms of routing aspects. For the security aspect, the technique used is based on μTESLA.…”

Section: Related Workmentioning

confidence: 99%

“…The first part of our work consists of optimizing the use of multipath AODV in such a way to produce better performances by reducing the routing overhead and minimizing the communication phases. The resulting routing protocol is called optimized AOMDV (O‐AOMDV).…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Formal verification of a new authenticated and optimized version of AOMDV for WSN

Djellouli

Abdi

Kechar

2020

Int J Communication

View full text Add to dashboard Cite

Summary In this paper, we propose a formal study based on model checking to formally verify an enhancement authenticated version of ad hoc on‐demand multipath distance vector (AOMDV) called authenticated optimized AOMDV (AO‐AOMDV). In this new version, we have added new functionalities in route discovery and route maintenance processes combined with the advantages of μTESLA. This contribution allows a transmitter to compute multiple authenticated routing paths toward the destination. The result of the formal verification study, under UPPAAL and SPIN, shows the behavior of the protocol that may not be revealed by simulation.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Formal verification of a new authenticated and optimized version of AOMDV for WSN

Djellouli

Abdi

Kechar

2020

Int J Communication

View full text Add to dashboard Cite

show abstract

“…There is also the use of Route Request (RREQ) packet delay to send packets on the network as well as the threshold of energy to simplify network congestion. Therefore, evolutionary methods need to be developed to solve this problem in order to improve the energy consumption for the longer lifetime of nodes and ultimately the network [4].…”

Section: Introductionmentioning

confidence: 99%

Improvement of Multiple Routing Based on Fuzzy Clustering and PSO Algorithm In WSNs to Reduce Energy Consumption

Farahani¹

2018

IJCNC

View full text Add to dashboard Cite

One of the most important issues discussed in Wireless Sensor Networks (WSNs) is how to transfer information from nodes within the network to the base station and select the best possible route for transmission of this information, taking into account energy consumption for the network lifetime with maximum reliability and security. Hence, it would be useful to provide a suitable method that would have the features mentioned. This paper uses an Ad-hoc On-demand Multipath Distance Vector (AOMDV) as a routing protocol. This protocol has high energy consumption due to its multipath. However, it is a big challenge if it can reduce AOMDV energy consumption. Therefore, clustering operations for nodes are of high priority to determine the head of clusters which LEACH protocol and fuzzy logic and Particle Swarm Optimization (PSO) algorithm are used for this purpose. Simulation results represent 5% improvement in energy consumption in a WSN compared to AOMDV method.

show abstract

WITHDRAWN: Dissemination of safety messages to vehicles and verification using model checking in VANETs

Berlin¹,

Muthusundari²,

Anita³

et al. 2020

Materials Today: Proceedings

View full text Add to dashboard Cite

Formal Verification of a New Version of AOMDV in ad hoc Network

Cited by 5 publications

References 10 publications

Formal verification of a new authenticated and optimized version of AOMDV for WSN

Formal verification of a new authenticated and optimized version of AOMDV for WSN

Improvement of Multiple Routing Based on Fuzzy Clustering and PSO Algorithm In WSNs to Reduce Energy Consumption

WITHDRAWN: Dissemination of safety messages to vehicles and verification using model checking in VANETs

Contact Info

Product

Resources

About