DMCA

Formal Verification of an Intrusion-Tolerant Group Membership Protocol (2003)

Cached

Download Links

by Harigovind V. Ramasamy , Michel Cukier , William H. Sanders
Citations:5 - 5 self