Brief announcement: linear time byzantine self-stabilizing clock synchronization

Authors:
Ariel Daliot;Danny Dolev;Hanna Parnas
Affiliations:
The Hebrew University of Jerusalem, Israel;The Hebrew University of Jerusalem, Israel;The Hebrew University of Jerusalem, Israel
Venue:
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Year:
2004

Clock synchronization in the Byzantine-recovery failure model

OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Byzantine self-stabilizing pulse in a bounded-delay model

SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
On verifying fault tolerance of distributed protocols

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems

Hi-index	0.00

We present the first self-stabilizing Byzantine clock synchronization algorithm that has linear convergence time.