Siyu Tang, Xiaoya Hu, Lian Zhao. Modeling and Security Analysis of IEEE 802.1AS Using Hierarchical Colored Petri Nets. In IEEE Global Communications Conference, GLOBECOM 2020, Virtual Event, Taiwan, December 7-11, 2020. pages 1-6, IEEE, 2020. [doi]
Abstract is missing.