A Strongly-Stabilizing Protocol for Spanning Tree Construction Against a Mobile Byzantine Fault
Self-stabilization  is a promising paradigm for designing distributed systems that are highly-tolerant of transient faults and adaptive to topology changes, since it guarantees that a system can recover its intended behavior even when its configuration (or global state) is arbitrarily changed by transient faults or topology changes. However, the recovery to the intended behavior requires a sufficiently long period of stable network environments (with no fault or topology changes). Self-stabilization guarantees nothing when the network has permanent faults or continuous topology changes. Thus, self-stabilization in the presence of permanent faults is a challenging and attractive issue.
This work was supported by JSPS KAKENHI Grant Numbers 17K19977, 18K18000, and 19K11826 and Japan Science and Technology Agency (JST) SICORP.
- 1.Buhrman, H., Garay, J.A., Hoepman, J.H.: Optimal resiliency against mobile faults. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers, pp. 83–88. IEEE (1995)Google Scholar
- 4.Nesterenko, M., Arora, A.: Tolerance to unbounded byzantine faults. In: Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems, pp. 22–29. IEEE (2002)Google Scholar