Title
As Secure as Possible Eventual Consistency: Work in Progress
Abstract
Eventual consistency (EC) is a relaxed data consistency model that, driven by the CAP theorem, trades prompt consistency for high availability. Although, this model has shown to be promising and greatly adopted by industry, the state of the art only assumes that replicas can crash and recover. However, a Byzantine replica (i.e., arbitrary or malicious) can hamper the eventual convergence of replicas to a global consistent state, thus compromising the entire service. Classical BFT state machine replication protocols cannot solve this problem due to the blocking nature of consensus, something at odd with the availability via replica divergence in the EC model. In this work in progress paper, we introduce a new secure highly available protocol for the EC model that assumes a fraction of replicas and any client can be Byzantine. To respect the essence of EC, the protocol gives priority to high availability, and thus Byzantine detection is performed off the critical path on a consistent data offset. The paper concisely explains the protocol and discusses its feasibility. We aim at presenting a more comprehensive and empirical study in the future.
Year
DOI
Venue
2017
10.1145/3064889.3064895
PaPoC@EuroSys
Keywords
Field
DocType
Eventual consistency, Byzantine fault tolerance, security, availability, CRDT
Eventual consistency,Replica,State machine replication,Computer science,Work in process,Byzantine fault tolerance,Real-time computing,Quantum Byzantine agreement,High availability,Data consistency,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-1-4503-4933-8
0
0.34
References 
Authors
11
3
Name
Order
Citations
PageRank
Ali Shoker1437.40
Houssam Yactine200.34
Carlos Baquero313214.10