A multi-cycle checkpointing protocol that ensures strict 1-rollback.

Yi-Wei Ci Zhan Zhang De-Cheng Zuo Zhibo Wu Xiao-Zong Yang

Published in: Inf. Process. Lett. (2012)

Keyphrases

low overhead
distributed databases
fault tolerance
failure recovery
authentication protocol
lightweight
formal analysis
tcp ip
databases
network protocols
website
distributed systems
multi party
communication protocol
cryptographic protocols
network simulator