| | |
Summary: 1
Prime: Byzantine Replication Under Attack
Yair Amir, Brian Coan, Jonathan Kirsch, John Lane
Technical Report CNDS-2009-4
May 2009
Abstract--Existing Byzantine-resilient replication protocols satisfy two standard correctness criteria, safety and liveness, in the
presence of Byzantine faults. In practice, however, faulty processors can, in some protocols, significantly degrade performance by
causing the system to make progress at an extremely slow rate. While "correct" in the traditional sense, systems vulnerable to such
performance degradation are of limited practical use in adversarial environments. This paper argues that techniques for mitigating
such performance attacks are needed to bridge this "practicality gap" for intrusion-tolerant replication systems. We propose a new
performance-oriented correctness criterion, and we show how failure to meet this criterion can lead to performance degradation. We
present a new Byzantine replication protocol that achieves the criterion and evaluate its performance in fault-free configurations and
when under attack.
3
1 INTRODUCTION
EXISTING Byzantine-resilient state machine replica-
tion (SMR) protocols satisfy two standard correct-
ness criteria in the presence of Byzantine faults: safety
and liveness. Safety means that two servers remain
consistent replicas of one another, while liveness means
|
