Dipartimento di Ingegneria informatica, automatica e gestionale

Nous étudions le problème du Canal de Diffusion Fiable Byzantin (où une source doit envoyer le même ensemble de messages, ou discours, à tous les participants) dans les systèmes distribués affectés par des pannes Byzantines mobiles (c'est à dire où tous les processus sont susceptibles d'avoir un comportement malveillant au cours de l'exécution, contribuant à la confusion générale). Nous montrons que ce problème ne peut pas être résolu même dans le modèle le plus contraint défini jusqu'à présent pour les pannes byzantines mobiles. En dotant les processus d'un nouveau détecteur local de défaillances plus précis, nous apportons une solution au problème.