• Home
  • Search
  • Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs
  • Cite Icon4
  • https://doi.org/10.1109/wcnc.2017.7925622Copy DOI Icon

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs

  • Mar 1, 2017
  • Youcef Hammal +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

This paper aims at presenting a formal modeling and verification method of a cross-layer technique to building an efficient P2P unstructured overlay over MANET underlays. Peer-to-Peer (P2P) overlays are formed dynamically to create a virtual network on top of an underlying physical network such as the Internet. P2P overlay networks can also be deployed over Mobile Ad hoc Networks (MANET) to address content discovery issues. However, deploying P2P systems straight over MANET do not exhibit satisfactory performance. Bandwidth limitation, limited resources and node mobility are some of the key constraints. The rational behind our proposal is to take advantage of MANET underlay to select and maintain physically nearest and fresh P2P neighbors. The combination of elementary strategies makes our overlay building likely- matches the MANET underlay, thereby, leading to efficient paths between P2P neighbors and reduction of network overhead. The formal modeling consists in capturing the behavior of wireless nodes and the medium using the input language of the UPPAAL model checker, that is a network of communicating timed automata. Last, we proceed with the checking of some safety and liveness properties by means of this tool, such as deadlock-freedom.

Similar Papers
  • Conference Article
  • Citations3

Efficient algorithm and study of QoS-aware mobile Ad hoc network methods

  • May 01, 2017
  • Aparna Junnarkar +1
  • PDF
  • Research Article
  • Citations123

An Adaptive on-Demand Multipath Routing Protocol With QoS Support for High-Speed MANET

  • Jan 01, 2020
  • IEEE Access
  • Zheng Chen +3
  • Research Article

PARS: Position based Anonymous Routing Scheme in MANETs

  • Jan 01, 2014
  • IOSR Journal of Computer Engineering
  • Remya S +1
  • Conference Article
  • Citations32

Effects of Packet Size on AODV Routing Protocol Implementation in Homogeneous and Heterogeneous MANET

  • Sep 01, 2011
  • Zahian Ismail +1
  • Conference Article
  • Citations196

Ekta: An Efficient DHT Substrate for Distributed Applications in Mobile Ad Hoc Networks

  • Apr 06, 2005
  • H Pucha +2
  • Research Article
  • Citations50

Energy and mobility conscious multipath routing scheme for route stability and load balancing in MANETs

  • Jul 12, 2017
  • Simulation Modelling Practice and Theory
  • Waheb A Jabbar +2
  • Book Chapter
  • Citations1

Review of Various Strategies for Gateway Discovery Mechanisms for Integrating Internet-MANET

  • Jan 01, 2017
  • Lin Yang +3
  • Conference Article
  • Citations1

Search for secure data transmission in MANET: A review

  • May 01, 2017
  • Tosha Naik +2
  • Research Article
  • Citations5

A Comprehensive Survey of Load Balancing Techniques in Multipath Energy-Consuming Routing Protocols for Wireless Ad hoc Networks in MANET

  • Jun 30, 2024
  • Indian Journal of Data Communication and Networking
  • Neetu Sahu +1
  • Conference Article
  • Citations25

A performance study of various mobility speed on AODV routing protocol in homogeneous and heterogeneous MANET

  • Oct 01, 2011
  • Zahian Ismail +1
  • Research Article
  • Citations13

Security architecture for the mobile ad hoc networks

  • Jun 01, 2018
  • Journal of Electrical Engineering
  • Jozef Filipek +1
  • Conference Article
  • Citations6

An investigation into the operational limitations of mobile ad hoc networks

  • Mar 01, 2017
  • K Muralidhar +1
  • Research Article
  • Citations8

A Review on Cooperative Bait Based Intrusion Detection in MANET

  • Jan 01, 2020
  • SSRN Electronic Journal
  • Biswajit Mandal +5
  • Research Article
  • Citations4

Secure Data Transmission in Integrated Internet MANETs Based on Effective Trusted Knowledge Algorithm

  • Jan 20, 2016
  • Indian Journal of Science and Technology
  • C Atheeq
  • Research Article
  • Citations65

A Survey on DHT-Based Routing for Large-Scale Mobile Ad Hoc Networks

  • Aug 25, 2014
  • ACM Computing Surveys
  • Shahbaz Akhtar Abid +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.