Integrity and Consistency for Untrusted Services (Extended Abstract)
building secure file systems out of byantine storage .