A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance.
Joel WannerLaurent ChuatAdrian PerrigPublished in: CoRR (2020)
Keyphrases
- fault tolerance
- fault tolerant
- group communication
- replica control
- key distribution
- distributed systems
- replicated databases
- distributed computing
- failure recovery
- database replication
- high availability
- data replication
- quorum consensus
- load balancing
- mobile agent system
- replicated data
- distributed databases
- high scalability
- fault management
- authentication protocol
- single point of failure
- artificial intelligence
- concurrency control
- data availability
- privacy preserving
- peer to peer
- response time