Safety Requirements of Distributed Broadcast

In this article, we outline an asynchronous boundary broadcast algorithm that upholds three key principles: boundary safety, propagation 1-safety, and propagation reliability. Boundary safety maintains the integrity of boundary processes by separating completed processes from others. Propagation 1-safety ensures that once a message is sent from a genuine source, it cannot be further disseminated if it originates from an unauthorized source. Propagation reliability guarantees that each process within the system receives a legitimate message exactly once. The algorithm is designed to initiate from any initial configuration and bears significance for the development of secure network protocols and command and control systems.