An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms - Teichel, Kristof; Sibold, Dieter; Milius, Stefan (Proceedings of the 12th International Conference on Information Systems Security, ICISS 2016, 2016)
UnivIS-Import:2017-03-24:Pub.2016.tech.IMMD.profes_1.anatta
Keywords: secure time synchronization; formal verification; attack vector