Reliable Broadcast in the Presence of Byzantine Processes
This chapter presents two broadcast communication abstractions suited to the asynchronous systems prone to process Byzantine failures (basic model BAMPn,t\([\emptyset]\) appropriately enriched). The first of these broadcast abstractions is called no-duplicity broadcast, while the second one is the classic non-uniform reliable broadcast adapted to Byzantine failures. (Let us notice that, as a Byzantine process may behave arbitrarily, it is meaningless to force a correct process to deliver a message only because it was delivered by a Byzantine process.) An algorithm implementing no-duplicity broadcast, and two algorithms implementing Byzantine reliable broadcast are presented.
KeywordsAsynchronous system Byzantine process Fault-tolerance Message-passing No-duplicity property Reliable broadcast Signature-free algorithm Uniformity requirement
Unable to display preview. Download preview PDF.