DocumentCode
3349385
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
fYear
2001
fDate
1-4 July 2001
Firstpage
203
Lastpage
212
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2001. DSN 2001. International Conference on
Conference_Location
Goteborg, Sweden
Print_ISBN
0-7695-1101-5
Type
conf
DOI
10.1109/DSN.2001.941406
Filename
941406
Link To Document