L. Alvisi, D. Malkhi, E. Pierce, M. K.Reiter, and R. N.Wright 2000
In International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), New York, 2000