• DocumentCode
    2545966
  • 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
  • fYear
    2003
  • fDate
    2003
  • Firstpage
    251
  • Lastpage
    260
  • Keywords
    Broadcasting; Contracts; Delay; Educational institutions; Fault tolerant systems; Formal specifications; Logic; Power system modeling; Protocols; Scheduling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]
  • Print_ISBN
    0-7695-2057-X
  • Type

    conf

  • DOI
    10.1109/FITS.2003.1264937
  • Filename
    1264937
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2545966