Abstract:With the development of the industrial informatization, the problems of security in field device layer have been gradually exposed, which mainly involves specified industrial communication protocols. Clock synchronization protocol, as one of the most important industrial communication protocols, ensures the real-time performance of industrial control system. Considering that the related researches have not yet formed a mature system, we propose a new method for analyzing the vulnerability of clock synchronization protocol in this article. In this method, SPN(stochastic petri net) is introduced as a modeling tool, while IEEE 1588 PTP clock synchronization protocol is regarded as the research object. An SPN(stochastic petri net) model is strictly built according to the protocol. Then, steady-state probability expressions are obtained by the isomorphic Markov chain. Through changing trigger rate of transitions of several pivotal states which are related to vulnerability, the influences of each parameter has on the model could be quantitatively reflected in the result of simulation in order to analyze vulnerability of clock synchronization protocol by determining the critical factors that affect protocol's vulnerability.

Computer Network Monitoring and Analysis Method Based on Petri Net

The Analysis Techniques and Applications of Generalized Stochastic Petri Net

Vulnerability Analysis of Clock Synchronization Protocol Using Stochastic Petri Net

Analysis of clock synchronization protocol security using colored Petri net

Modeling And Evaluating Of Net Protocol Based On Timed Colored Petri Net

Distributed Computer Network Model Base on Petri Nets

The Modelling and Analysis of Integrated Avionics System Based on Stochastic Petri Net

Petri Net-based Analysis of the Safety Communication Protocol

Analysis on Modeling and Performance of Petri Net of AS/RS Operation System

The application of Coloured Petri nets in systems analysis

Research On Methodology Of Modeling Equipment Maintenance Support System Based On Petri Net

The Application of Colored Petri Net in Performance Analysis

A Formal Modeling Method based on CPN

Model and Analysis of LEACH Protocol Based on Petri Net

Safety Monitoring Modeling and Real Time Safety Analysis Based on Petri Nets

Study on Fault Analysis Technology by Means of Petri Nets

New Method of Petri Net Modeling

A Risk Assessment Model Based On Petri Nets

A Simulation Modeling Method Based on Petri Net

Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net

Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets