Formal Analysis of Fault-tolerant Group Key Management Using ZooKeeper.

Stephen Skeirik, Rakesh B. Bobba, Jos Meseguer

Browse the full CCGRID paper archive.