Title :
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
Author :
Ramasamy, HariGovind V. ; Cukier, Michel ; Sanders, William H.
Author_Institution :
University of Illinois
Keywords :
Broadcasting; Contracts; Delay; Educational institutions; Fault tolerant systems; Formal specifications; Logic; Power system modeling; Protocols; Scheduling;
Conference_Titel :
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]
Print_ISBN :
0-7695-2057-X
DOI :
10.1109/FITS.2003.1264937
