Secure Time Synchronization Protocol

Faten Mkacher 1 Xavier Bestel Andrzej Duda 1
1 Drakkar
LIG - Laboratoire d'Informatique de Grenoble
Abstract : —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.
Liste complète des métadonnées

Cited literature [6 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-01865259
Contributor : Faten Mkacher <>
Submitted on : Friday, August 31, 2018 - 11:25:02 AM
Last modification on : Friday, October 12, 2018 - 11:53:48 AM
Document(s) archivé(s) le : Saturday, December 1, 2018 - 2:39:29 PM

File

Article_conf-submit.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01865259, version 1

Collections

Citation

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

Share

Metrics

Record views

101

Files downloads

140