• DocumentCode
    2566530
  • Title

    A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults

  • Author

    Echtle, Klaus ; Masum, Asif

  • Author_Institution
    Fachbereich Math. und Inf., Essen Univ., Germany
  • fYear
    1996
  • fDate
    25-27 Jun 1996
  • Firstpage
    158
  • Lastpage
    167
  • Abstract
    We describe a reliable broadcast protocol for multiple buses. It utilizes the benefits of a slightly restricted Byzantine fault model. Unlike common fault models we refrain from putting restrictions on the behavior of single node failures (i.e., fail omission assumption). Instead we make the assumption on the overall behavior of a set of faulty system components. By excluding extremely unlikely malicious cooperation we can reach uniform agreement on message delivery among faultless nodes at low cost. In the faultless case the execution time is bound by the maximum duration of a single broadcast message. In the presence of omission, timing and even non-cooperative Byzantine faults, both execution time and message number depend on the properties of the surviving network. In contrast to other known protocols our approach tolerates up to n-2 faulty nodes in a system of n nodes. Moreover, any number of bus faults and bus access unit faults are tolerated, provided that the network is not partitioned
  • Keywords
    computer network reliability; fault tolerant computing; formal verification; message passing; system buses; timing; transport protocols; bus access unit faults; bus faults; execution time; fail omission assumption; fault models; faultless nodes; malicious cooperation; maximum duration; message delivery; multiple bus broadcast protocol; noncooperative Byzantine faults; omission; reliable broadcast protocol; single broadcast message; single node failure; timing; verification; Access protocols; Broadcasting; Costs; Digital signatures; Fault diagnosis; Humans; Marine vehicles; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on
  • Conference_Location
    Sendai
  • ISSN
    0731-3071
  • Print_ISBN
    0-8186-7262-5
  • Type

    conf

  • DOI
    10.1109/FTCS.1996.534603
  • Filename
    534603