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