athos : efficient authentication of outsourced file systems .
building secure file systems out of byantine storage .