Construction auto-stabilisante d'arbre couvrant en d\'epit d'actions malicieuses
Swan Dubois (LIP6, INRIA Rocquencourt), Toshimitsu Masuzawa,, S\'ebastien Tixeuil (LIP6)

TL;DR
This paper explores self-stabilizing protocols capable of tolerating Byzantine failures, introducing a new tolerance criterion that enables solutions for problems previously incompatible with strict stabilization.
Contribution
It proposes a novel approach to Byzantine fault tolerance in self-stabilizing protocols by redefining the criteria of tolerance for certain problems.
Findings
Existence of solutions tolerating Byzantine faults under new criteria
Extension of self-stabilization to handle permanent Byzantine failures
Applicability to problems not allowing strict stabilization
Abstract
A self-stabilizing protocol provides by definition a tolerance to transient failures. Recently, a new class of self-stabilizing protocols appears. These protocols provides also a tolerance to a given number of permanent failures. In this article, we are interested in self-stabilizing protocols that deal with Byzantines failures. We prove that, for some problems which not allow strict stabilization (see [Nesterenko,Arora,2002]), there exist solutions that tolerates Byzantine faults if we define a new criteria of tolerance.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Petri Nets in System Modeling
