Miguel Castro Barbara Liskov Practical byzantine fault tolerance and proactive recovery. 398-461 2002 20 ACM Trans. Comput. Syst. 4 http://doi.acm.org/10.1145/571637.571640 db/journals/tocs/tocs20.html#CastroL02