Back to Search
Start Over
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
- Source :
-
Theoretical Computer Science . Jan2023, Vol. 942, p123-141. 19p. - Publication Year :
- 2023
-
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 Z 13 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., n > 6 f when Δ = 2 δ , and n > 8 f when Δ = δ , where Δ represents the period at which the Byzantine agents move and δ is the upper bound on the communication latency). [ABSTRACT FROM AUTHOR]
- Subjects :
- *TIMESTAMPS
*FAILED states
*ELECTRIC transients
*MEDICAL registries
Subjects
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 942
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 160888463
- Full Text :
- https://doi.org/10.1016/j.tcs.2022.11.028