Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.

HariGovind V. Ramasamy, Michel Cukier, William H. Sanders

Browse the full PRDC paper archive.