A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership

Name

MIT-CSAIL-TR-2003-020.ps

Size

13.22 MB

Format

PostScript

Checksum (MD5)

fc89b4c018e80a2a8cc4ef520e57d0dc

Name

MIT-CSAIL-TR-2003-020.pdf

Size

482.26 KB

Format

Adobe PDF

Checksum (MD5)

a50cbfb5ae756099935967959686112e

Author(s)

Rodrigues, Rodrigo

•

Liskov, Barbara

Date Issued

September 25, 2003

Series/Report no.

Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory

Abstract

We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.

Persistent DSpace Link