Synchronous Byzantine quorum systems

Research output: Contribution to journalArticle

27 Scopus citations

Abstract

Quorum systems have been used to implement many coordination problems in distributed systems such as mutual exclusion, data replication, distributed consensus, and commit protocols. Malkhi and Reiter recently proposed quorum systems that can tolerate Byzantine failures; they called these systems Byzantine quorum systems and gave some examples of such quorum systems. In this paper, we propose a new definition of Byzantine quorums that is appropriate for synchronous systems. We show how these quorums can be used for data replication and propose a general construction of synchronous Byzantine quorums using standard quorum systems. We prove tight lower bounds on the load of synchronous Byzantine quorums for various patterns of failures and we present synchronous Byzantine quorums that have optimal loads that match the lower bounds for two failure patterns.

Original languageEnglish (US)
Pages (from-to)45-52
Number of pages8
JournalDistributed Computing
Volume13
Issue number1
DOIs
StatePublished - Jan 1 2000

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Synchronous Byzantine quorum systems'. Together they form a unique fingerprint.

  • Cite this