A Detection and Mitigation Model for PTP Delay Attack in an IEC 61850 Substation
- 23 December 2016
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Smart Grid
- Vol. 9 (5), 3954-3965
- https://doi.org/10.1109/tsg.2016.2644618
Abstract
Smart grid applications demand the availability of a reliable and accurate time signal. Measurements and events need to be correctly aligned to enable proper actions and decisions. Precision Time Protocol (PTP) is the favored protocol for time distribution across smart grid domains. The correct functionality of PTP is of paramount importance and its security is of high priority. To harden its security, detection and prevention mechanisms against attacks targeting PTP are needed. In this paper, we propose detection and mitigation mechanisms against the known PTP delay attack. We apply model checking to quantify the effect of the delay attack. Moreover, the validity of the proposed mechanism is formally proven. The suggested approach is tested on a physical system. The collected results support the usefulness of the mechanism in detecting the delay attacks targeting PTP, and preserving the system functionality.Keywords
Funding Information
- NSERC Discovery Grants
- Concordia University
This publication has 18 references indexed in Scilit:
- Security Assessment of Time Synchronization Mechanisms for the Smart GridIEEE Communications Surveys & Tutorials, 2016
- Endlessly Circulating Messages in IEEE 1588-2008 SystemsPublished by Defense Technical Information Center (DTIC) ,2014
- Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approachComputers & Security, 2011
- Statistical abstraction and model-checking of large heterogeneous systemsInternational Journal on Software Tools for Technology Transfer, 2011
- Delay attacks — Implication on NTP and PTP time synchronizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Probabilistic model checking for the quantification of DoS security threatsComputers & Security, 2009
- Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model CheckingLecture Notes in Computer Science, 2009
- PRISM: A Tool for Automatic Verification of Probabilistic SystemsLecture Notes in Computer Science, 2006
- A Security Analysis of the Precise Time Protocol (Short Paper)Lecture Notes in Computer Science, 2006
- Security aspects for IEEE 1588 based clock synchronization protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006