Le problème du k-Accord Byzantin dans les systèmes distribués asynchrones

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