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

HariGovind V. Ramasamy Michel Cukier William H. Sanders Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. 9-18 2002 conf/prdc/2002 PRDC http://csdl.computer.org/comp/proceedings/prdc/2002/1852/00/18520009abs.htm db/conf/prdc/prdc2002.html#RamasamyCS02