Self-stabilizing Byzantine Fault-Tolerant Repeated Reliable Broadcast
Paper i proceeding, 2022

We study a well-known communication abstraction called Byzantine Reliable Broadcast (BRB). This abstraction is central in the design and implementation of fault-tolerant distributed systems, as many fault-tolerant distributed applications require communication with provable guarantees on message deliveries. Our study focuses on fault-tolerant implementations for message-passing systems that are prone to process-failures, such as crashes and malicious behaviors. At PODC 1983, Bracha and Toueg, in short, BT, solved the BRB problem. BT has optimal resilience since it can deal with up to t< n/ 3 Byzantine processes, where n is the number of processes. The present work aims at the design of an even more robust solution than BT by expanding its fault-model with self-stabilization, a vigorous notion of fault-tolerance. In addition to tolerating Byzantine and communication failures, self-stabilizing systems can recover after the occurrence of arbitrary transient-faults. These faults represent any violation of the assumptions according to which the system was designed to operate (as long as the algorithm code remains intact). We propose, to the best of our knowledge, the first self-stabilizing Byzantine fault-tolerant (SSBFT) solution for repeated BRB (that follows BT’s specifications) in signature-free message-passing systems. Our contribution includes a self-stabilizing variation on a BT that solves asynchronous single-instance BRB. We also consider the problem of recycling instances of single-instance BRB. Our SSBFT recycling for time-free systems facilitates the concurrent handling of a predefined number of BRB invocations and, by this way, can serve as the basis for SSBFT consensus.

BRB

Message-passing systems

Byzantine Reliable Broadcast

Self-stabilizing systems

Författare

Romaric Duvignau

Nätverk och System

Michel Raynal

Centre national de la recherche scientifique (CNRS)

Elad Schiller

Nätverk och System

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 13751 LNCS 206-221
9783031210167 (ISBN)

24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2022
Clermont-Ferrand, France,

Datasäkerhet för fordonssystem i en föränderlig miljö (CyReV fas 2)

VINNOVA (2019-03071), 2019-01-10 -- 2022-03-31.

Ämneskategorier

Datorteknik

Inbäddad systemteknik

Datorsystem

DOI

10.1007/978-3-031-21017-4_14

Mer information

Senast uppdaterat

2023-10-27