The HPIM-DM Multicast Routing Protocol

02/16/2020
by   Pedro Oliveira, et al.
0

This paper proposes the HPIM-DM (Hard-state Protocol Independent Multicast - Dense Mode) multicast routing protocol. HPIM-DM is a hard-state version of PIM-DM that keeps its main characteristics but has faster convergence and better resilience to replay attacks. Like PIM-DM, HPIM-DM is meant for dense networks and supports its operation on a unicast routing protocol and reverse path forwarding checks. However, routers maintain sense of the multicast trees at all times, allowing fast reconfiguration in the presence of network failures or unicast route changes. This is achieved by (i) keeping information on all upstream neighbors from which multicast data can be received, (ii) ensuring the reliable transmission and sequencing of control messages, and (iii) synchronizing the routing information immediately when a new router joins the network. The protocol was fully implemented in Python, and the implementation is publicly available. Finally, the correctness of the protocol was extensively validated using model checking, logical reasoning and tests performed over the protocol implementation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/30/2020

Introducing Network Coding to RPL: The Chained Secure Mode (CSM)

As the de facto routing protocol for many Internet of Things (IoT) netwo...
research
05/26/2018

Implementation of Epidemic Routing with IP Convergence Layer in ns-3

We present the Epidemic routing protocol implementation in ns-3. It is a...
research
01/18/2022

Cutting Through the Noise to Infer Autonomous System Topology

The Border Gateway Protocol (BGP) is a distributed protocol that manages...
research
04/28/2020

Formalising the Optimised Link State Routing Protocol

Routing protocol specifications are traditionally written in plain Engli...
research
03/18/2022

Advanced Models for the OSPF Routing Protocol

We present two formal models for the OSPF routing protocol, designed for...
research
01/24/2019

A stack-vector routing protocol for automatic tunneling

In a network, a tunnel is a part of a path where a protocol is encapsula...
research
12/11/2022

McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs

Model checking has become a key tool for gaining confidence in correctne...

Please sign up or login with your details

Forgot password? Click here to reset