Kelvin Anto, Partha S. Roop, Akshya K. Swain. Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. In S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001, editors, MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. pages 134-141, ACM, 2021. [doi]
Abstract is missing.