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

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

Bibliographic Details
Main Authors:	Rodrigues, Rodrigo, Liskov, Barbara
Other Authors:	Programming Methodology
Language:	en_US
Published:	2005
Online Access:	http://hdl.handle.net/1721.1/30425

Internet

http://hdl.handle.net/1721.1/30425