Abstract:
Ce rapport aborde le problème du k-Accord dans les systèmes distribués asynchrones sujet à des
défaillances Byzantines. Ce travail progresse l’état de l’art en étudiant ce problème pour la première
fois. Le rapport présente plusieurs contributions. Il montre que, dans le problème du k-Accord
Byzantin, plus de choix ne permet pas plus de défaillances, contrairement aux systèmes distribués
avec défaillances par crash.
Fournir aux processus de l’application des fortes garanties d’accord, en dépit de défaillances est
un problème fondamental pour l’informatique distribuée tolérante aux fautes. Les processus corrects
ne doivent pas être "pollués" par le comportement erroné des processus défaillants .Pour répondre à
cette exigence, le rapport présente un protocole du k-Accord dans lequel aucune mauvaise valeur
n’est jamais décidée par les processus corrects. Ces processus décident toujours une valeur qu’ils ont
proposée ou une valeur par défaut bot. Ce protocole est appelé protocole du k-Accord tolérant aux
intrusions. A notre connaissance
, il s’agit du premier protocole du k-Accord tolérant aux intrusionsdans la littérature
