SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Intrusion-Tolerant Group Management in Enclaves
 by Dr. Bruno Dutertre, Dr. Hassen Sa´di & V. Stavridou.

From International Conference on Dependable Systems and Networks (DSN'01).
Göteborg, Sweden.
July, 2001.
Pages 203–212.

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.
BibTEX Entry
    AUTHOR = {{B.} Dutertre and {H.} Sa\"{i}di and {V.} Stavridou},
    TITLE = {Intrusion-Tolerant Group Management in Enclaves},
    BOOKTITLE = {International Conference on Dependable Systems and Networks (DSN'01)},
    YEAR = {2001},
    PAGES = {203--212},
    ADDRESS = {G\"{o}teborg, Sweden},
    MONTH = {July},
    URL = {}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy