Modeling and Security Analysis of IEEE 802.1AS Using Hierarchical Colored Petri Nets
Siyu Tang, Xiaoya Hu, Lian Yu Zhao · 2020
In recent decades, much attention has been paid to timely and guaranteed delivery in industrial automation networks. Toward this aim, the IEEE 802.1 Time-Sensitive Networking (TSN) task group has developed a series of standards. IEEE 802.1AS Timing and Synchronization protocol is the basis for TSN flow control mechanisms. As a rather new protocol, modeling and security analysis is a highly attractive candidate for developing IEEE 802.1AS. In this paper, we model the IEEE 802.1AS using Hierarchical Colored Petri Nets (HCPNs) and verify the proposed model by state space analysis and synchronization performance analysis. On the basis of our model, the security of the protocol is analyzed, including attack and defense against IEEE 802.1AS. Simulation results verify the validity and practicability of the model.