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

Author(s)
Rodrigues, Rodrigo; Liskov, Barbara
Thumbnail
DownloadMIT-CSAIL-TR-2003-020.ps (13541Kb)
Additional downloads
Other Contributors
Programming Methodology
Metadata
Show full item record
Abstract
We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.
Date issued
2003-09-25
URI
http://hdl.handle.net/1721.1/30425
Other identifiers
MIT-CSAIL-TR-2003-020
MIT-LCS-TR-920
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
Collections