A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm
Practical byzantine fault tolerance