Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Secure Time Synchronization Protocol

Faten Mkacher 1 Xavier Bestel Andrzej Duda 1
1 Drakkar [2016-2019]
LIG [2016-2019] - Laboratoire d'Informatique de Grenoble [2016-2019]
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

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

https://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 7 août 2020 - 03:02:37
Document(s) archivé(s) le : samedi 1 décembre 2018 - 14:39:29

Fichier

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

Identifiants

  • HAL Id : hal-01865259, version 1

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

318

Téléchargements de fichiers

560