Y Amir, B Coan, J Kirsch, J Lane - 2008 IEEE International …, 2008 - ieeexplore.ieee.org
Existing Byzantine-resilient replication protocols satisfy two standard correctness criteria,
safety and liveness, in the presence of Byzantine faults. In practice, however, faulty …