Roberto De Prisco Dahlia Malkhi Michael K. Reiter 7-21 2001 12 IEEE Trans. Parallel Distributed Syst. 1 https://doi.org/10.1109/71.899936 http://doi.ieeecomputersociety.org/10.1109/71.899936 db/journals/tpds/tpds12.html#PriscoMR01