© Photo by Gonçalo João

| Home | Curriculum | Research | Teaching | Publications | Students |

João Leitão's Homepage : Publications : Abstract

Transferência de Dados entre Grupos de Processos no Modelo BAR
X. Vilaça, J. Leitão, and L. Rodrigues

Selected sections of this report were published in the Proceedings of the thrid Portuguese Symposium on Informatics, Coimbra, Portugal, Sep, 2011.

Portuguese Abstract

Este artigo aborda o problema da transferência fiável de informação entre um conjunto de N produtores e um conjunto de N consumidores no modelo de sistema BAR (Bizantinos, Altruístas e Racionais). O algoritmo tolera a presença de, no máximo, f produtores e/ou consumidores Bizantinos, podendo os restantes participantes adoptar um comportamento Racional ou Altruísta. Desde que N >= 2f+1, garante-se que, no final da transferência, todos os consumidores não Bizantinos possuem os dados correctos. Na presença de um observador confiável, garante-se, também, que todos os produtores e consumidores que executaram correctamente o algoritmo são devidamente recompensados. De forma a demonstrar que é do interesse de qualquer participante Racional executar o algoritmo tal como especificado, prova-se que este é um equilíbrio de Nash.

English Abstract

This paper addresses the problem of reliably transferring infor- mation from a set of N producers to a set of N consumers in the BAR model, i.e., the presence of up to f Byzantine producers and/or consumers, and any number of Rational processes. We assume that N ≥ 2f + 1. Our algorithm guarantees that at the end of the transfer all correct consumers have the produced data. Furthermore, we assume the existence of a trusted observer: when the transfer terminates, the observer should be provided with enough evidence to testify that the producers and consumers have participated in the transfer. We show that our algorithm is a Nash equilibrium.

[BibTeX][Abstract][PDF]