Self-stabilization
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Time synchronization in ad hoc networks
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Fine-grained network time synchronization using reference broadcasts
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
Probability and Computing: Randomized Algorithms and Probabilistic Analysis
Probability and Computing: Randomized Algorithms and Probabilistic Analysis
Secure time synchronization service for sensor networks
Proceedings of the 4th ACM workshop on Wireless security
Fault-Tolerant Cluster-Wise Clock Synchronization for Wireless Sensor Networks
IEEE Transactions on Dependable and Secure Computing
Time synchronization attacks in sensor networks
Proceedings of the 3rd ACM workshop on Security of ad hoc and sensor networks
An efficient and secure protocol for sensor network time synchronization
Journal of Systems and Software
TinySeRSync: secure and resilient time synchronization in wireless sensor networks
Proceedings of the 13th ACM conference on Computer and communications security
Secure Time Synchronization in Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
Secure communication over radio channels
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Clock Synchronization with Bounded Global and Local Skew
FOCS '08 Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science
Tight bounds for clock synchronization
Proceedings of the 28th ACM symposium on Principles of distributed computing
The wireless synchronization problem
Proceedings of the 28th ACM symposium on Principles of distributed computing
Gradient clock synchronization in wireless sensor networks
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Best paper: stabilizing clock synchronization for wireless sensor networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Secure and resilient clock synchronization in wireless sensor networks
IEEE Journal on Selected Areas in Communications
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Average time synchronization in wireless sensor networks by pairwise messages
Computer Communications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 5.23 |
In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the clock synchronization by intercepting messages, replaying intercepted messages (after the adversary's choice of delay), and capturing nodes (i.e., revealing their secret keys and impersonating them). We present an efficient clock sampling algorithm which tolerates attacks by this adversary, collisions, a bounded amount of losses due to ambient noise, and a bounded number of captured nodes that can jam, intercept, and send fake messages. The algorithm is self-stabilizing, so if these bounds are temporarily violated, the system can efficiently stabilize back to a correct state. Using this clock sampling algorithm, we construct the first self-stabilizing algorithm for secure clock synchronization in sensor networks that is resilient to the aforementioned adversarial attacks.