Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps - Sorbonne Université Access content directly
Journal Articles Theoretical Computer Science Year : 2022

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps

Abstract

This paper proposes the first implementation of a self-stabilizing regular register emulated by n servers that is tolerant to both Mobile Byzantine Agents and transient failures in a round-free synchronous model. Differently from existing Mobile Byzantine Tolerant register implementations, this paper considers a weaker model where: (i) the computation of the servers is decoupled from the movements of the Byzantine agents, i.e., movements may happen before, concurrently, or after the generation or the delivery of a message, and (ii) servers are not aware of their failure state i.e., they do not know if and when they have been corrupted by a Mobile Byzantine agent. The proposed protocol tolerates (i) any finite number of transient failures, and (ii) up to f Mobile Byzantine agents. In addition, our implementation uses bounded timestamps from the domain and it is optimal with respect to the number of servers needed to tolerate f Mobile Byzantine agents in the given model (i.e., when , and when , where Δ represents the period at which the Byzantine agents move and δ is the upper bound on the communication latency).
No file

Dates and versions

hal-03902645 , version 1 (16-12-2022)

Identifiers

Cite

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2022.11.028⟩. ⟨hal-03902645⟩
31 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More