Secure and self-stabilizing clock synchronization in sensor networks

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 the first self-stabilizing algorithm for secure clock synchronization in sensor networks that is resilient to such an adversary's attacks. Our algorithm tolerates random media noise, guarantees with high probability efficient communication overheads, and facilitates a variety of masking techniques against pulse-delay attacks in the presence of captured nodes.

[1]  Philippas Tsigas,et al.  Secure and Fault-Tolerant Clock Synchronization in Sensor Networks , 2006 .

[2]  Norman Abramson,et al.  The ALOHA SYSTEM. , 1972 .

[3]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[4]  Peng Ning,et al.  Secure and resilient clock synchronization in wireless sensor networks , 2006, IEEE Journal on Selected Areas in Communications.

[5]  Ivan Stojmenovic,et al.  Handbook of Sensor Networks: Algorithms and Architectures , 2005, Handbook of Sensor Networks.

[6]  Srdjan Capkun,et al.  Secure Time Synchronization in Sensor Networks , 2008, TSEC.

[7]  S. Shankar Sastry,et al.  Time synchronization attacks in sensor networks , 2005, SASN '05.

[8]  Rachid Guerraoui,et al.  Of malicious motes and suspicious sensors: On the efficiency of malicious interference in wireless networks , 2009, Theor. Comput. Sci..

[9]  Kay Römer.  Time synchronization in ad hoc networks , 2001, MobiHoc '01.

[10]  Srdjan Capkun,et al.  Secure time synchronization service for sensor networks , 2005, WiSe '05.

[11]  Kay Römer,et al.  Time Synchronization and Calibration in Wireless Sensor Networks , 2005, Handbook of Sensor Networks.

[12]  Rachid Guerraoui,et al.  Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks , 2006, OPODIS.

[13]  Robert Simon,et al.  An efficient and secure protocol for sensor network time synchronization , 2006, J. Syst. Softw..

[14]  B. Rosner.  Percentage Points for a Generalized ESD Many-Outlier Procedure , 1983 .

[15]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[16]  Nancy A. Lynch,et al.  A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks , 2004, OPODIS.

[17]  Eli Upfal,et al.  Probability and Computing: Randomized Algorithms and Probabilistic Analysis , 2005 .

[18]  염흥렬,et al.  [서평]「Applied Cryptography」 , 1997 .

[19]  Peng Ning,et al.  TinySeRSync: secure and resilient time synchronization in wireless sensor networks , 2006, CCS '06.

[20]  Peng Ning,et al.  Fault-tolerant cluster-wise clock synchronization for wireless sensor networks , 2005, IEEE Transactions on Dependable and Secure Computing.

[21]  Rachid Guerraoui,et al.  Gossiping in a multi-channel radio network an oblivious approach to coping with malicious interference , 2007 .

[22]  W DijkstraEdsger.  Self-stabilizing systems in spite of distributed control , 1974 .

[23]  Adrian Perrig,et al.  Proceedings of the 2nd ACM workshop on Wireless security , 2003 .

[24]  Roger Wattenhofer,et al.  Gradient clock synchronization in wireless sensor networks , 2009, 2009 International Conference on Information Processing in Sensor Networks.

[25]  Rachid Guerraoui,et al.  Gossiping in a Multi-channel Radio Network , 2007, DISC.

[26]  Rachid Guerraoui,et al.  The wireless synchronization problem , 2009, PODC '09.

[27]  Deborah Estrin,et al.  Optimal and Global Time Synchronization in Sensornets , 2003 .

[28]  Christoph Lenzen,et al.  Clock Synchronization with Bounded Global and Local Skew , 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

[29]  Farnaz Moradi,et al.  Clock Synchronization in Sensor Networks for Civil Security , 2009 .

[30]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[31]  Chen Zhang,et al.  Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks , 2006, SSS.

[32]  EstrinDeborah,et al.  Fine-grained network time synchronization using reference broadcasts , 2002 .

[33]  Christoph Lenzen,et al.  Tight bounds for clock synchronization , 2010, JACM.

[34]  Sencun Zhu,et al.  Attack-resilient time synchronization for wireless sensor networks , 2005, IEEE International Conference on Mobile Adhoc and Sensor Systems Conference, 2005..

[35]  Richard M. Karp,et al.  Global Synchronization in Sensornets , 2004, LATIN.

[36]  Rachid Guerraoui,et al.  Secure communication over radio channels , 2008, PODC '08.

[37]  Joffroy Beauquier,et al.  Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors , 1997, Int. J. Syst. Sci..