Secure clock synchronization under collusion attacks

Xiaoming Duan, Nikolaos Freris, Peng Cheng

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Recently, the Secure Average Time Synchronization (SATS) protocol has been proposed and analyzed; this distributed clock synchronization protocol is capable of successfully tackling several attacks such as denial-of-service (DoS), message-delay, message duplication/repetition, and even a generic message manipulation. However, the collusion attack, in which neighboring malicious nodes may cooperate so as to strike stealthier attacks that are more difficult to handle, remains by and large an open problem. In the setup of SATS, we derive the fundamental asymptotic bounds in the number of malicious agents-as function of the benign ones-that can be efficiently handled without tampering accurate network-wide synchronization. Going a step further, we develop a risk model for collusions and use it to obtain even tighter bounds. In specific, we establish that SATS can handle 'many' malicious nodes with high probability: an order of almost square-root of the benign ones for the case of no risk, and almost linear when the risk of collusion is accounted. Last but not least, we analyze and experimentally assess an interesting phenomenon: the presence of attackers may lead to a convergence speedup of SATS, since malicious nodes can be effectively constrained from the network, thus affecting the algebraic connectivity of the graph corresponding to the network topology. Numerical simulations verify the theoretical results, i.e., collusions are avoided when the number of malicious nodes is bounded by the asymptotic bounds and the algebraic connectivity increases due to incorporating 'well behaved' malicious nodes.

Original languageEnglish (US)
Title of host publication54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1142-1148
Number of pages7
ISBN (Electronic)9781509045495
DOIs
StatePublished - Feb 10 2017
Event54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016 - Monticello, United States
Duration: Sep 27 2016Sep 30 2016

Other

Other54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016
CountryUnited States
CityMonticello
Period9/27/169/30/16

Fingerprint

Collusion Attack
Clock Synchronization
Time Synchronization
Clocks
Synchronization
Collusion
Algebraic Connectivity
Vertex of a graph
Attack
Denial of Service
Duplication
Square root
Network Topology
Manipulation
Open Problems
Speedup
Verify
Numerical Simulation
Topology
Graph in graph theory

Keywords

  • Asymptotic analysis
  • Asynchronous algorithms
  • Clock synchronization
  • Collusion attacks
  • Cyberphysical systems
  • Cybersecurity
  • Distributed systems
  • Fundamental limits
  • Wireless sensor networks

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Computer Networks and Communications
  • Hardware and Architecture
  • Control and Optimization

Cite this

Duan, X., Freris, N., & Cheng, P. (2017). Secure clock synchronization under collusion attacks. In 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016 (pp. 1142-1148). [7852364] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ALLERTON.2016.7852364

Secure clock synchronization under collusion attacks. / Duan, Xiaoming; Freris, Nikolaos; Cheng, Peng.

54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016. Institute of Electrical and Electronics Engineers Inc., 2017. p. 1142-1148 7852364.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Duan, X, Freris, N & Cheng, P 2017, Secure clock synchronization under collusion attacks. in 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016., 7852364, Institute of Electrical and Electronics Engineers Inc., pp. 1142-1148, 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, United States, 9/27/16. https://doi.org/10.1109/ALLERTON.2016.7852364
Duan X, Freris N, Cheng P. Secure clock synchronization under collusion attacks. In 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 1142-1148. 7852364 https://doi.org/10.1109/ALLERTON.2016.7852364
Duan, Xiaoming ; Freris, Nikolaos ; Cheng, Peng. / Secure clock synchronization under collusion attacks. 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 1142-1148
@inproceedings{139ad61acf1849feb51fd3047f06fe3e,
title = "Secure clock synchronization under collusion attacks",
abstract = "Recently, the Secure Average Time Synchronization (SATS) protocol has been proposed and analyzed; this distributed clock synchronization protocol is capable of successfully tackling several attacks such as denial-of-service (DoS), message-delay, message duplication/repetition, and even a generic message manipulation. However, the collusion attack, in which neighboring malicious nodes may cooperate so as to strike stealthier attacks that are more difficult to handle, remains by and large an open problem. In the setup of SATS, we derive the fundamental asymptotic bounds in the number of malicious agents-as function of the benign ones-that can be efficiently handled without tampering accurate network-wide synchronization. Going a step further, we develop a risk model for collusions and use it to obtain even tighter bounds. In specific, we establish that SATS can handle 'many' malicious nodes with high probability: an order of almost square-root of the benign ones for the case of no risk, and almost linear when the risk of collusion is accounted. Last but not least, we analyze and experimentally assess an interesting phenomenon: the presence of attackers may lead to a convergence speedup of SATS, since malicious nodes can be effectively constrained from the network, thus affecting the algebraic connectivity of the graph corresponding to the network topology. Numerical simulations verify the theoretical results, i.e., collusions are avoided when the number of malicious nodes is bounded by the asymptotic bounds and the algebraic connectivity increases due to incorporating 'well behaved' malicious nodes.",
keywords = "Asymptotic analysis, Asynchronous algorithms, Clock synchronization, Collusion attacks, Cyberphysical systems, Cybersecurity, Distributed systems, Fundamental limits, Wireless sensor networks",
author = "Xiaoming Duan and Nikolaos Freris and Peng Cheng",
year = "2017",
month = "2",
day = "10",
doi = "10.1109/ALLERTON.2016.7852364",
language = "English (US)",
pages = "1142--1148",
booktitle = "54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Secure clock synchronization under collusion attacks

AU - Duan, Xiaoming

AU - Freris, Nikolaos

AU - Cheng, Peng

PY - 2017/2/10

Y1 - 2017/2/10

N2 - Recently, the Secure Average Time Synchronization (SATS) protocol has been proposed and analyzed; this distributed clock synchronization protocol is capable of successfully tackling several attacks such as denial-of-service (DoS), message-delay, message duplication/repetition, and even a generic message manipulation. However, the collusion attack, in which neighboring malicious nodes may cooperate so as to strike stealthier attacks that are more difficult to handle, remains by and large an open problem. In the setup of SATS, we derive the fundamental asymptotic bounds in the number of malicious agents-as function of the benign ones-that can be efficiently handled without tampering accurate network-wide synchronization. Going a step further, we develop a risk model for collusions and use it to obtain even tighter bounds. In specific, we establish that SATS can handle 'many' malicious nodes with high probability: an order of almost square-root of the benign ones for the case of no risk, and almost linear when the risk of collusion is accounted. Last but not least, we analyze and experimentally assess an interesting phenomenon: the presence of attackers may lead to a convergence speedup of SATS, since malicious nodes can be effectively constrained from the network, thus affecting the algebraic connectivity of the graph corresponding to the network topology. Numerical simulations verify the theoretical results, i.e., collusions are avoided when the number of malicious nodes is bounded by the asymptotic bounds and the algebraic connectivity increases due to incorporating 'well behaved' malicious nodes.

AB - Recently, the Secure Average Time Synchronization (SATS) protocol has been proposed and analyzed; this distributed clock synchronization protocol is capable of successfully tackling several attacks such as denial-of-service (DoS), message-delay, message duplication/repetition, and even a generic message manipulation. However, the collusion attack, in which neighboring malicious nodes may cooperate so as to strike stealthier attacks that are more difficult to handle, remains by and large an open problem. In the setup of SATS, we derive the fundamental asymptotic bounds in the number of malicious agents-as function of the benign ones-that can be efficiently handled without tampering accurate network-wide synchronization. Going a step further, we develop a risk model for collusions and use it to obtain even tighter bounds. In specific, we establish that SATS can handle 'many' malicious nodes with high probability: an order of almost square-root of the benign ones for the case of no risk, and almost linear when the risk of collusion is accounted. Last but not least, we analyze and experimentally assess an interesting phenomenon: the presence of attackers may lead to a convergence speedup of SATS, since malicious nodes can be effectively constrained from the network, thus affecting the algebraic connectivity of the graph corresponding to the network topology. Numerical simulations verify the theoretical results, i.e., collusions are avoided when the number of malicious nodes is bounded by the asymptotic bounds and the algebraic connectivity increases due to incorporating 'well behaved' malicious nodes.

KW - Asymptotic analysis

KW - Asynchronous algorithms

KW - Clock synchronization

KW - Collusion attacks

KW - Cyberphysical systems

KW - Cybersecurity

KW - Distributed systems

KW - Fundamental limits

KW - Wireless sensor networks

UR - http://www.scopus.com/inward/record.url?scp=85015180476&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85015180476&partnerID=8YFLogxK

U2 - 10.1109/ALLERTON.2016.7852364

DO - 10.1109/ALLERTON.2016.7852364

M3 - Conference contribution

SP - 1142

EP - 1148

BT - 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -