Abstrakt. Rampart är en verktygslåda av protokoll för att underlätta utvecklingen o f hög-integrity tjänster, dvs distribuerade tjänster som behåller sin tillgänglighet och korrekthet trots skadlig penetration av vissa komponenter e r v ers av en angripare. Kärnan i Rampart är nya protokoll som löser flera grundläggande problem i distribuerad dator, inklusive asynkron gruppmedlemskap, tillförlitlig multicast (bysantinsk överenskommelse) och atomisk multicast. Med hjälp av dessa protokoll, Rampart stöder utvecklingen av high-integrity tjänster via tekniken för tillståndsmaskin replikering, och utökar även denna teknik med ett nytt tillvägagångssätt för serverutmatning. I detta dokument vi g i v e en kort översikt över Rampart, med fokus främst på dess protokoll arkitektur. Vi skissar också upp prestanda i vår prototypimplementering och pågående arbete.
Tidigt arbete av Reiter REF gav protokoll för Bysantinska avtal och atomsändningar.
The Rampart toolkit for building high-integrity services
{'venue': 'In Theory and Practice in Distributed Systems', 'journal': None, 'mag_field_of_study': ['Computer Science']}