论文标题
HPIM-DM：快速可靠的密度模式多播路由协议（扩展版本）
HPIM-DM: a fast and reliable dense-mode multicast routing protocol (extended version)
论文作者
论文摘要
本文提出了HPIM-DM（硬态协议独立的多播 - 密集模式）多播路由协议。 HPIM-DM是PIM-DM的硬州版本，它保留其主要特征，但具有更快的收敛性和对重播攻击的更好弹性。像PIM-DM一样，HPIM-DM用于密集网络，并支持其在单播路由协议和反向路径转发检查上的操作。但是，路由器始终保持对多播树的感觉，从而在存在网络故障或单播路由变化的情况下可以快速重新配置。这是通过（i）保留可以从中收到多播数据的所有上游邻居的信息来实现的，（ii）确保控制消息的可靠传输和排序，以及（iii）新路由器加入网络时立即同步路由信息。该协议已在Python中充分实施，该协议已公开可用。最后，使用模型检查，逻辑推理和对协议实现执行的测试对协议的正确性进行了广泛的验证。
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.
