Propagation safety and propagation reliability, are important building blocks for secure network protocols, defense and safety mechanisms, and command and control systems. Propagation safety refers to the broadcasting...
详细信息
Propagation safety and propagation reliability, are important building blocks for secure network protocols, defense and safety mechanisms, and command and control systems. Propagation safety refers to the broadcasting of only those messages that have actually originated from a legitimate source. Propagation reliability, on the other hand, refers to the propagation of a message to every node in the system exactly once. In this article, we first prove that it is impossible to devise a safe self- or snap-stabilizing broadcast algorithm. We then propose the first self- and snap-stabilizing broadcast algorithm with the propagation 1-safety and the propagation reliability properties. Starting in an arbitrary initial configuration or after a fault, our proposed algorithm implements propagation 1-safety ensuring that a spurious message, a message that did not originate from the legitimate root process, can be sent by a process to its neighbors, however, it cannot be forwarded further. In addition, the propagation reliability property of the proposed algorithm ensures that a legitimate message reaches all system processes exactly once.
暂无评论