Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is intrusion-tolerant group communication system  [Clear All Filters]
Conference Papers
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.