English
Related papers

Related papers: Formal Methods for Mobile Ad Hoc Networks: A Surve…

200 papers

A mobile ad hoc network (MANET) is a collection of autonomous nodes that communicate with each other by forming a multi-hop radio network and maintaining connections in a decentralized manner. Security remains a major challenge for these…

Cryptography and Security · Computer Science 2011-11-03 Jaydip Sen , Sripad Koilakonda , Arijit Ukil

We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines novel treatments of local broadcast, conditional unicast and…

Networking and Internet Architecture · Computer Science 2013-12-31 Ansgar Fehnker , Rob van Glabbeek , Peter Höfner , Annabelle McIver , Marius Portmann , Wee Lum Tan

Mobile Ad-hoc Networks (MANETS) consists of a collection of mobile nodes without having a central coordination. In MANET, node mobility and dynamic topology play an important role in the performance. MANET provide a solution for network…

Networking and Internet Architecture · Computer Science 2012-08-22 K G Preetha , A Unnikrishnan , K Poulose Jacob

A mobile ad hoc network (MANET) is a collection of autonomous nodes that communicate with each other by forming a multi-hop radio network and maintaining connections in a decentralized manner. Security remains a major challenge for these…

Cryptography and Security · Computer Science 2021-09-03 Jaydip Sen

Selfish behaviors are common in self-organized Mobile Ad hoc Networks (MANETs) where nodes belong to different authorities. Since cooperation of nodes is essential for routing protocols, various methods have been proposed to stimulate…

Networking and Internet Architecture · Computer Science 2014-07-29 Mehrdad Khaledi , Mojgan Khaledi , Hamidreza Rabiee

Orchestrating a live field trial of wireless mobile networking involves significant cost and logistical issues relating to mobile platforms, support personnel, network and experiment automation and support equipment. The significant cost…

Networking and Internet Architecture · Computer Science 2010-07-15 Nitiket N. Mhala , N. K. Choudhari

Mobile ad hoc network (MANET) is a collection of wireless mobile nodes. It dynamically forms a temporary network without using any pre existing network infrastructure or centralized administration i.e. with minimal prior planning. All nodes…

Networking and Internet Architecture · Computer Science 2012-05-09 Mohammad Arif , Tara Rani

We present comparative analysis of MANET (Mobile Ad-Hoc Network) and VANET (Vehicular Ad-Hoc Network) routing protocols, in this paper. The analysis is based on various design factors. The traditional routing protocols of AODV (Ad hoc…

Networking and Internet Architecture · Computer Science 2012-06-12 Preetida Vinayakray-Jani , Sugata Sanyal

A Mobile Ad-Hoc Network is a collection of mobile nodes that are dynamically and arbitrarily located in such a manner that the interconnections between nodes are capable of changing on continual basis. Due to security vulnerabilities of the…

Networking and Internet Architecture · Computer Science 2012-06-19 Rajib Das , Bipul Syam Purkayastha , Prodipto Das

In this paper we discuss the state of the art of (mobile) multi-hop ad hoc networking with the aim to present the current status of the research activities and identify the consolidated research areas, with limited research opportunities,…

Networking and Internet Architecture · Computer Science 2021-09-22 Marco Conti , Chiara Boldrini , Salil S. Kanhere , Enzo Mingozzi , Elena Pagani , Pedro M. Ruiz , Mohamed Younis

The mobile ad hoc network (MANET) is a wireless network based on a group of mobile nodes without any centralised infrastructure. In civilian data communication, all nodes cannot be homogeneous-type and not do a specific data communication.…

Networking and Internet Architecture · Computer Science 2019-05-29 A. Sufian , A. Banerjee , P. Dutta

Unlike traditional routing procedures that, at the best, single out a unique route, multi-path routing protocols discover proactively several alternative routes. It has been recognized that multi-path routing can be more efficient than…

Networking and Internet Architecture · Computer Science 2020-05-12 Marcello Caleffi , Giancarlo Ferraiuolo , Luigi Paura

The emerging need for mobile ad hoc networks and secured data transmission phase is of crucial importance depending upon the environments like military. In this paper, a new way to improve the reliability of message transmission is…

Networking and Internet Architecture · Computer Science 2011-04-26 V. Anitha , Dr. J. Akilandeswari

Contemporary personal computing devices are increasingly required to be portable and mobile enabling user's wireless access, to wired network infrastructures and services. This approach to mobile computing and communication is only…

Networking and Internet Architecture · Computer Science 2010-11-13 Emmanouil A. Panaousis , George Drew , Grant P. Millar , Tipu A. Ramrekha , Christos Politis

Mobile Ad Hoc Network (MANET) is a collection of nodes that can be rapidly deployed as a multi-hop network without the aid of any centralized administration. Misbehavior is challenged by bandwidth and energy efficient medium access control…

Networking and Internet Architecture · Computer Science 2010-11-03 R. Kalaiarasi , Getsy S. Sara , S. Neelavathy Pari , D. Sridharan

Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes that dynamically form a network temporarily without any support of central administration. Moreover, Every node in MANET moves arbitrarily making the multi-hop network…

Networking and Internet Architecture · Computer Science 2011-03-04 P. Manickam , T. Guru Baskar , M. Girija , Dr. D. Manimegalai

This paper presents a dual method of closed-form analysis and lightweight simulation that enables an evaluation of the performance of mobile ad hoc networks that is more realistic, efficient, and accurate than those found in existing…

Information Theory · Computer Science 2016-11-17 Don Torrieri , Salvatore Talarico , Matthew C. Valenti

Vehicular Ad-hoc Networks (VANET) are self-organized, distributed communication networks built up from moving vehicles where each node is characterized by variable speed, strict limits of freedom in movement patterns and a variety of…

Networking and Internet Architecture · Computer Science 2013-04-17 Alice Castellano , Francesca Cuomo

In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a process algebra which has been specifically tailored for the…

Networking and Internet Architecture · Computer Science 2015-12-31 Peter Höfner , Rob van Glabbeek , Wee Lum Tan , Marius Portmann , Annabelle McIver , Ansgar Fehnker

Routing in mobile ad hoc networks (MANETs) presents a big challenge, especially when support for a large number of nodes is needed. This paper extends the local visibility concept of the recent DHT-based URBAN_XOR routing protocol, which…

Networking and Internet Architecture · Computer Science 2016-04-20 Anatoliy Zinovyev , Brian L. Mark