Secure Time Synchronization Protocol - Université Grenoble Alpes Access content directly
Conference Papers Year :

Secure Time Synchronization Protocol

Faten Mkacher
  • Function : Author
Xavier Bestel
  • Function : Author
Andrzej Duda


—This paper describes the Secure Time Synchronization (STS) protocol that enables client and server mutual authen-tication, supports the property of non-repudiation, and offloads the negotiation and authorization phases to an Authorization Server (AS). We also propose a solution for bootstrapping time synchronization to solve the problem of certificate validation that depends on time. We analyze the main security properties of STS with the ProVerif tool, implement STS by extending OpenNTPD, and compare its precision to unauthenticated NTP.
Fichier principal
Vignette du fichier
Article_conf-submit.pdf (492.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01865259 , version 1 (31-08-2018)


  • HAL Id : hal-01865259 , version 1


Faten Mkacher, Xavier Bestel, Andrzej Duda. Secure Time Synchronization Protocol. ISPCS 2018, Sep 2018, Genève, Switzerland. ⟨hal-01865259⟩
241 View
728 Download


Gmail Facebook Twitter LinkedIn More