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.


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.
BibTEX Entry
@inproceedings{Dutertre2001,
    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 = {http://www.csl.sri.com/papers/dsn01w/}
}
Files
 













 

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