| | |
Summary: BAR Primer
Allen Clement1
, Harry Li1
, Jeff Napper1
, Jean-Philippe Martin2
, Lorenzo Alvisi1
, Mike Dahlin1
1
University of Texas at Austin, 2
Microsoft Research Cambridge
1
{aclement, harry, jmn, lorenzo, dahlin}@cs.utexas.edu, 2
{jpmartin@microsoft.com}
Abstract
Byzantine and rational behaviors are increasingly rec-
ognized as unavoidable realities in today's cooperative ser-
vices. Yet, how to design BAR-tolerant protocols and rig-
orously prove them strategy proof remains somewhat of a
mystery: existing examples tend either to focus on unrealis-
tically simple problems or to want in rigor. The goal of this
|
