LATe: A Lightweight Authenticated Time Synchronization Protocol for IoT

Renzo Efrain Navas (1, 2) , Laurent Toutain (1, 3)

1 IMT Atlantique - SRCD - Département Systèmes Réseaux, Cybersécurité et Droit du numérique
2 Lab-STICC_IMTA_CID_IRIS
3 OCIF - Objets communicants pour l'Internet du futur

Time synchronization is fundamental for a wide variety of IoT applications. Time is also fundamental to provide security services such as certificates or OAuth-token validation. Having a secure source of time is a fundamental problem, and the first step to provide other services for applications. There is no standardized lightweight and secure time synchronization solution suitable for IoT. We propose a Lightweight Authenticated Time (LATe) Synchronization Protocol. Our proposal is based on IETF open standards and is agnostic to underlying communication technologies. We also provide a computer-aided proof of the security claims using the Scyther tool.

Mots clés: authenticated; Scyther; time; secure; synchronization; protocol design; ietf; verification; formal method

Domaines: Réseaux et télécommunications [cs.NI]; Cryptographie et sécurité [cs.CR]

Renzo Efrain Navas, Laurent Toutain. LATe: A Lightweight Authenticated Time Synchronization Protocol for IoT. 2018 Global Internet of Things Summit (GIoTS), Jun 2018, Bilbao, Spain. pp.1-6, ⟨10.1109/GIOTS.2018.8534565⟩. ⟨hal-02007159⟩