A Strongly-Stabilizing Protocol for Spanning Tree Construction Against a Mobile Byzantine Fault

  • Koki Inoue
  • Yuichi SudoEmail author
  • Hirotsugu Kakugawa
  • Toshimitsu Masuzawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11639)


Self-stabilization [2] 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. 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
  2. 2.
    Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643–644 (1974)CrossRefGoogle Scholar
  3. 3.
    Dubois, S., Masuzawa, T., Tixeuil, S.: Bounding the impact of unbounded attacks in stabilization. IEEE Trans. Parallel Distrib. Syst. 23(3), 460–466 (2012)CrossRefGoogle Scholar
  4. 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

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Koki Inoue
    • 1
  • Yuichi Sudo
    • 1
    Email author
  • Hirotsugu Kakugawa
    • 2
  • Toshimitsu Masuzawa
    • 1
  1. 1.Osaka UniversitySuitaJapan
  2. 2.Ryukoku UniversityKyotoJapan

Personalised recommendations