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.

@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/}
}

• dsn01w.ps.gz