HPIM-DM: a fast and reliable dense-mode multicast routing protocol (extended version)

Abstract

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.

HPIM‐DM: A fast and reliable dense‐mode multicast routing protocol

“…Figure 8 shows the format of the HPIM-DM control messages; further details can be found in Section 5.9 of Ref. [16].…”

“…Unlike OSPF and IS-IS (Intermediate System to Intermediate System), our method of handling neighbourhood relationships is completely insensitive to replay attacks of Hello messages (see Section 5.1 of Ref. [16]).…”

“…The HPIM-DM implementation is described in detail in Section 7 of Ref. [16]. Moreover, the PIM-DM and HPIM-DM implementations are publicly available in GitHub [15,29].…”

“…Finally, in Section 9, we present the conclusions and directions for future work. Due to lack of space, some details of the HPIM-DM specification and evaluation are left for an extended version of this paper [16].…”