Formal verification of an intrusion-tolerant group membership protocol (2003)

by H V Ramasamy, M Cukier, W H Sanders
Venue:IEICE Transactions on Information and Systems