Show simple item record

dc.contributor.authorCastro, Miguelen_US
dc.date.accessioned2023-03-29T14:41:34Z
dc.date.available2023-03-29T14:41:34Z
dc.date.issued1999-06
dc.identifier.urihttps://hdl.handle.net/1721.1/149290
dc.description.abstractWe have developed a practical algorithm for state-machine replication [7,11] that tolerates Byzantine faults. The algorithm is described in [4]. It offers a strong safety property - it implements a linearizable [5] object such that all operations invoked on the object execute atomically despite Byzantine failures and concurrency. Unlike previous algorithms [11, 10, 6], ours works correctly in asynchronous systems like the Internet, and it incorporates important optimizations that enable it to outperform previous systems by more than on order of magnitude [4].en_US
dc.relation.ispartofseriesMIT-LCS-TM-597
dc.titleA Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithmen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record