Abstract

Abstract. Rampart is a toolkit of protocols to facilitate the development ofhigh-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 paper we give a brief overview of Rampart, focusing primarily on its protocol architecture. We also sketch its performance in our prototype implementation and ongoing work. 1

Citations

542	Lightweight causal and atomic group multicast - Birman, Schiper, et al. - 1991
337	Transis: A communication sub-system for high availability - Amir, Dolev, et al. - 1992
210	Atomic broadcast: from simple message diffusion to Byzantine agreement - Cristian, Aghili, et al. - 1995
112	Unreliable failure detectors for asynchronous systems - Chandra, Toueg - 1991
98	Shared generation of authenticators and signatures - Desmedt, Frankel - 1992
32	The magic words are SQUEAMISH OSSIFRAGE - Atkins, Graff, et al. - 1995
31	A survey of hardware implementations of RSA,” in - Brickell - 1990
19	Renesse, editors. Reliable Distributed Computing with the Isis Toolkit - Birman, van - 1993
4	The Magic Words are Squeamish Ossifrage - Leyland - 1994