Construction auto-stabilisante d'arbre couvrant en d\'epit d'actions malicieuses

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.