Title :
Intrusion-tolerant group management in Enclaves
Author :
Dutertre, Bruno ; Saïdi, Hassen ; Stavridou, Victoria
Author_Institution :
Syst. Design Lab., SRI Int., Menlo Park, CA, USA
Abstract :
Groupware applications require secure communication and group-management services. Participants in such applications may have divergent interests and may not fully trust each other. The services provided must then be designed to tolerate possibly misbehaving participants. Enclaves is a software framework for building such group applications. We discuss how the protocols used by Enclaves can be modified to guarantee proper service in the presence of nontrustworthy group members. We show how the improved protocol was formally specified and proven correct.
Keywords :
groupware; protocols; security of data; telecommunication security; Enclaves; groupware; intrusion-tolerant group management; protocols; secure communication; software framework; trust; untrustworthy group members; Application software; Authentication; Collaborative software; Collaborative work; Cryptographic protocols; Cryptography; Environmental management; Internet; Protection; Robustness;
Conference_Titel :
Dependable Systems and Networks, 2001. DSN 2001. International Conference on
Conference_Location :
Goteborg, Sweden
Print_ISBN :
0-7695-1101-5
DOI :
10.1109/DSN.2001.941406
