[ Last changed: 16th June 1995 ]
Security Group Seminar, 16th June 1995
- Speaker:
- Michael K. Reiter, AT&T Bell Laboratories, Holmdel, New Jersey
- Date:
- FRIDAY 16th June 4.15pm
- Place:
- Room TP4, Computer Laboratory
- Title:
- THE RAMPART TOOLKIT FOR BUILDING HIGH-INTEGRITY SERVICES
Rampart is a toolkit of protocols to facilitate the development of
"high-integrity" services, i.e., distributed services that retain
their availability and correctness despite the malicious penetration
of some component servers by an attacker. At the core of Rampart are
new protocols that solve several basic problems in distributed
computing, including asynchronous group membership, reliable
multicast (Byzantine agreement), and atomic multicast. Using these
protocols, Rampart supports the development of high-integrity
services via the technique of "state machine replication", and also
extends this technique with a new approach to server output voting.
In this talk we give an overview of Rampart, focusing primarily on
its protocol architecture. We also discuss its performance in our
prototype implementation, application services that we are
developing, and other ongoing work.
Security Group Seminar, 16th June 1995 / Mark.Lomas@cl.cam.ac.uk