Intrusion-tolerant group management in Enclaves
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 203-212
- https://doi.org/10.1109/dsn.2001.941406
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
This publication has 12 references indexed in Scilit:
- Intrusion tolerance in distributed computing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The SecureRing protocols for securing group communicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Protocol-independent secrecyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Practical byzantine fault tolerance and proactive recoveryACM Transactions on Computer Systems, 2002
- Formal Verification of the TTP Group Membership AlgorithmPublished by Springer Nature ,2000
- Verification Diagrams Revisited: Disjunctive Invariants for Easy VerificationPublished by Springer Nature ,2000
- Secure group communication in asynchronous networks with failures: integration and experimentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- The inductive approach to verifying cryptographic protocolsJournal of Computer Security, 1998
- HorusCommunications of the ACM, 1996
- The Rampart toolkit for building high-integrity servicesPublished by Springer Nature ,1995