ensuring data integrity in cloud computing .
Practical byzantine fault tolerance and proactive recovery