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.
Type de document :
Communication dans un congrès
ISPCS 2018, Sep 2018, Genève, Switzerland
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

http://hal.univ-grenoble-alpes.fr/hal-01865259
Contributeur : Faten Mkacher <>
Soumis le : vendredi 31 août 2018 - 11:25:02
Dernière modification le : vendredi 12 octobre 2018 - 11:53:48

Fichier

Article_conf-submit.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

49

Téléchargements de fichiers

31