Consistency in Non-Transactional Distributed Storage Systems
building secure file systems out of byantine storage .