Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper | IEEE Conference Publication | IEEE Xplore