consistency , availability , and convergence .
building secure file systems out of byantine storage .