The Byzantine Agreement Problem: Optimal Early Stopping

  • Authors:
  • Axel W. Krings;Thomas Feyer

  • Affiliations:
  • -;-

  • Venue:
  • HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
  • Year:
  • 1999

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper addresses solutions to the problem of reaching agreement in the presence of faults. Whereas the need for agreement has surfaced mainly in fault tolerant real-time applications, agreement can be a useful mechanism in network security to mask intrusions. However, due to the communication overhead involved and the fact that the system is expected to operate without problems most of the time, early stopping algorithms are of special interest. We introduce a non-authenticated early stopping algorithm that is optimal in terms of rounds and the number of processors in the system. The basic idea of the algorithm is closely related to the work in [5]. However, our algorithm is easier to implement because of its algorithmic definition. It is directly derived from the algorithm by Lamport [18], and is based on two simple functions only. We are convinced that the construction of the early stopping algorithm presented here furthermore increases understanding and clarifies underlying problems of early stopping.