Stephen Skeirik, Rakesh B. Bobba, José Meseguer. Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper. In 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013, Delft, Netherlands, May 13-16, 2013. pages 636-641, IEEE Computer Society, 2013. [doi]
Abstract is missing.