A Byzantine fault-tolerant mutual exclusion algorithm and its application to Byzantine fault-tolerant storage systems | IEEE Conference Publication | IEEE Xplore