Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps - Sorbonne Université
Article Dans Une Revue Theoretical Computer Science Année : 2022

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

Résumé

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).

Dates et versions

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

Identifiants

Citer

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⟩
92 Consultations
0 Téléchargements

Altmetric

Partager

More