N-party BAR Transfer

We introduce the N-party BAR transfer problem that consists in reliably transferring arbitrarily large data from a set of N producers to a set of N consumers in the BAR model, i.e., in the presence of Byzantine, Altruistic, and Rational participants. The problem considers the existence of a trusted observer that gathers evidence to testify that the producers and consumers have participated in the transfer. We present an algorithm that solves the problem for N≥2f+1, where f is the maximum number of Byzantine processes in each of the producer and consumer sets. We do not impose limits on the number of Rational participants, although they can deviate from the algorithm to improve their utility. We show that our algorithm provides a Nash equilibrium.

[1]  Robert H. Deng,et al.  Multi-party fair exchange with an off-line trusted neutral party , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[2]  Sam Toueg,et al.  A Modular Approach to Fault-Tolerant Broadcasts and Related Problems , 1994 .

[3]  Olivier Markowitch,et al.  Optimistic non-repudiable information exchange , 2000 .

[4]  Geoff Coulson,et al.  Free Riding on Gnutella Revisited: The Bell Tolls? , 2005, IEEE Distributed Syst. Online.

[5]  Jianying Zhou,et al.  An intensive survey of fair non-repudiation protocols , 2002, Comput. Commun..

[6]  David P. Anderson,et al.  BOINC: a system for public-resource computing and storage , 2004, Fifth IEEE/ACM International Workshop on Grid Computing.

[7]  Idit Keidar,et al.  EquiCast: scalable multicast with selfish users , 2006, PODC '06.

[8]  G. Hardin,et al.  The Tragedy of the Commons , 1968, Green Planet Blues.

[9]  Ramakrishna Kotla,et al.  Zyzzyva , 2007, SOSP.

[10]  Pierre Fraigniaud,et al.  Asymptotically Optimal Broadcasting and Gossiping in Faulty Hypercube Multicomputers , 1992, IEEE Trans. Computers.

[11]  K. Eliaz Fault Tolerant Implementation , 2002 .

[12]  Miguel Castro,et al.  BASE: using abstraction to improve fault tolerance , 2001, SOSP.

[13]  Robert H. Deng,et al.  Evolution of Fair Non-repudiation with TTP , 1999, ACISP.

[14]  Leslie Lamport,et al.  Fast Paxos , 2006, Distributed Computing.

[15]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1992, PODC '92.

[16]  Danny Dolev,et al.  Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation , 2006, PODC '06.

[17]  Liuba Shrira,et al.  HQ replication: a hybrid quorum protocol for byzantine fault tolerance , 2006, OSDI '06.

[18]  Miguel Castro,et al.  Practical byzantine fault tolerance and proactive recovery , 2002, TOCS.

[19]  Emin Gün Sirer,et al.  Experience with an Object Reputation System for Peer-to-Peer Filesharing , 2006, NSDI.

[20]  David R. Karger,et al.  Analysis of the evolution of peer-to-peer systems , 2002, PODC '02.

[21]  Robbert van Renesse,et al.  A middleware for gossip protocols , 2010, IPTPS.

[22]  Leslie Lamport,et al.  Lower bounds for asynchronous consensus , 2006, Distributed Computing.

[23]  Leslie Lamport,et al.  Disk Paxos , 2003, Distributed Computing.

[24]  James S. Plank A tutorial on Reed-Solomon coding for fault-tolerance in RAID-like systems , 1997 .

[25]  J. Nash NON-COOPERATIVE GAMES , 1951, Classics in Game Theory.

[26]  Michael Dahlin,et al.  BAR primer , 2008, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).

[27]  S. Lennart Johnsson,et al.  Optimum Broadcasting and Personalized Communication in Hypercubes , 1989, IEEE Trans. Computers.

[28]  Vivien Quéma,et al.  FireSpam: Spam Resilient Gossiping in the BAR Model , 2010, 2010 29th IEEE Symposium on Reliable Distributed Systems.

[29]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[30]  Keith W. Ross,et al.  The KaZaA Overlay : A Measurement Study , 2004 .

[31]  Jo-Mei Chang,et al.  Reliable broadcast protocols , 1984, TOCS.

[32]  Olivier Markowitch,et al.  Optimistic Fair Exchange with Transparent Signature Recovery , 2002, Financial Cryptography.

[33]  Leslie Lamport,et al.  Byzantizing Paxos by Refinement , 2011, DISC.

[34]  Yongfei Han Investigation of non-repudiation protocols , 1996, ACISP.

[35]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[36]  B. Cohen,et al.  Incentives Build Robustness in Bit-Torrent , 2003 .

[37]  Juan A. Garay,et al.  Abuse-Free Multi-party Contract Signing , 1999, DISC.

[38]  Sam Toueg,et al.  Time and Message Efficient Reliable Broadcasts , 1990, WDAG.

[39]  Michael K. Reiter,et al.  Dynamic byzantine quorum systems , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[40]  Ning Zhang,et al.  Achieving Non-Repudiation of Receipt , 1996, Comput. J..

[41]  João Leitão,et al.  N-party BAR Transfer: motivation, definition, and challenges , 2011, TADDS '11.

[42]  Olivier Markowitch,et al.  A Multi-party Optimistic Non-repudiation Protocol , 2000, ICISC.

[43]  Michael Dahlin,et al.  Minimal Byzantine Storage , 2002, DISC.

[44]  Michael Dahlin,et al.  BAR fault tolerance for cooperative services , 2005, SOSP '05.

[45]  Tobias Distler,et al.  Increasing performance in byzantine fault-tolerant systems with on-demand replica consistency , 2011, EuroSys '11.

[46]  Kang G. Shin,et al.  Interleaved All-to-All Reliable Broadcast on Meshes and Hypercubes , 1994, IEEE Trans. Parallel Distributed Syst..

[47]  Danny Dolev,et al.  On the minimal synchronism needed for distributed consensus , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[48]  Brian D. Noble,et al.  Samsara: honor among thieves in peer-to-peer storage , 2003, SOSP '03.

[49]  Michael K. Reiter,et al.  Byzantine quorum systems , 1997, STOC '97.

[50]  Ingoo Han,et al.  Multi-party fair exchange protocol using ring architecture model , 2000 .

[51]  Michael Dahlin,et al.  Theory of BAR games , 2007, PODC '07.

[52]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[53]  Laurent Massoulié,et al.  Faithfulness in internet algorithms , 2004, PINS '04.

[54]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[55]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[56]  Miguel Correia,et al.  Low complexity Byzantine-resilient consensus , 2005, Distributed Computing.

[57]  CHAPTER 5 Conclusions and Future Work , 2006 .

[58]  Xavier Ara,et al.  Transfer^ encia de Dados entre Grupos de Processos no Modelo BAR , 2011 .

[59]  Michael O. Rabin,et al.  Transaction Protection by Beacons , 1983, J. Comput. Syst. Sci..

[60]  G. Mailath Do People Play Nash Equilibrium? Lessons From Evolutionary Game Theory , 1998 .

[61]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[62]  Enrico Tronci,et al.  Model Checking Coalition Nash Equilibria in MAD Distributed Systems , 2009, SSS.

[63]  Henri E. Bal,et al.  An efficient reliable broadcast protocol , 1989, OPSR.

[64]  Jean-Philippe Martin,et al.  Fast Byzantine Consensus , 2006, IEEE Trans. Dependable Secur. Comput..

[65]  Yonatan Aumann,et al.  Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games , 2010, SAGT.

[66]  Danny Dolev,et al.  Authenticated Algorithms for Byzantine Agreement , 1983, SIAM J. Comput..

[67]  Sangmin Lee,et al.  Upright cluster services , 2009, SOSP '09.

[68]  Tom Coffey,et al.  Non-repudiation with mandatory proof of receipt , 1996, CCRV.

[69]  Kenneth P. Birman,et al.  Bimodal multicast , 1999, TOCS.

[70]  Edmund L. Wong,et al.  It's on Me! The Benefit of Altruism in BAR Environments , 2010, DISC.

[71]  Darrell D. E. Long,et al.  DESIGN CHOICES FOR WEAK-CONSISTENCY GROUP COMMUNICATION , 1992 .

[72]  Andrew S. Tanenbaum,et al.  An evaluation of the Amoeba group communication system , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[73]  Michael Waidner,et al.  Optimistic Synchronous Multi-Party Contract Signing , 1998 .

[74]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[75]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[76]  Mark Lillibridge,et al.  Peer-to-peer Cooperative Backup System , 2001 .

[77]  Leslie Lamport,et al.  Cheap Paxos , 2004, International Conference on Dependable Systems and Networks, 2004.

[78]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[79]  Michael Dahlin,et al.  BAR gossip , 2006, OSDI '06.

[80]  Ran Canetti,et al.  Fast asynchronous Byzantine agreement with optimal resilience , 1993, STOC.

[81]  Miguel Castro,et al.  BASE: Using abstraction to improve fault tolerance , 2003, TOCS.

[82]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[83]  Robert Griesemer,et al.  Paxos made live: an engineering perspective , 2007, PODC '07.

[84]  Éva Tardos,et al.  The effect of collusion in congestion games , 2006, STOC '06.

[85]  Miguel Correia,et al.  EBAWA: Efficient Byzantine Agreement for Wide-Area Networks , 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

[86]  Matthias Schunter,et al.  Optimistic Protocols for Multi-Party Fair Exchange , 1996 .

[87]  Miguel Correia,et al.  Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

[88]  David P. Anderson,et al.  SETI@home: an experiment in public-resource computing , 2002, CACM.

[89]  Robbert van Renesse,et al.  Fireflies: scalable support for intrusion-tolerant network overlays , 2006, EuroSys.

[90]  Sam Toueg,et al.  Asynchronous consensus and broadcast protocols , 1985, JACM.

[91]  Michel Raynal,et al.  Consensus in Byzantine asynchronous systems , 2003, J. Discrete Algorithms.

[92]  James S. Plank,et al.  A tutorial on Reed–Solomon coding for fault‐tolerance in RAID‐like systems , 1997, Softw. Pract. Exp..

[93]  Javier López,et al.  Multiparty nonrepudiation: A survey , 2009, CSUR.

[94]  Enrico Tronci,et al.  Model Checking Nash Equilibria in MAD Distributed Systems , 2008, 2008 Formal Methods in Computer-Aided Design.

[95]  Olivier Markowitch,et al.  Probabilistic Non-Repudiation without Trusted Third Party , 1999 .

[96]  Miguel Correia,et al.  Active Quorum Systems , 2010, HotDep.

[97]  Michael J. Fischer,et al.  The Consensus Problem in Unreliable Distributed Systems (A Brief Survey) , 1983, FCT.

[98]  Goran Trajkovski On Future Work , 2007 .

[99]  Stefan Schmid,et al.  On the topologies formed by selfish peers , 2006, PODC '06.

[100]  Michael Dahlin,et al.  FlightPath: Obedience vs. Choice in Cooperative Services , 2008, OSDI.

[101]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[102]  Olivier Markowitch,et al.  A Multi-Party Non-Repudiation Protocol , 2000, SEC.

[103]  A. K. Somani,et al.  Reputation management framework and its use as currency in large-scale peer-to-peer networks , 2004 .

[104]  Philip M. Thambidurai,et al.  Interactive consistency with multiple failure modes , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[105]  Avishai Wool,et al.  The load and availability of Byzantine quorum systems , 1997, PODC '97.

[106]  Rachid Guerraoui,et al.  Introduction to reliable distributed programming , 2006 .

[107]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[108]  Fred B. Schneider,et al.  Byzantine generals in action: implementing fail-stop processors , 1984, TOCS.