Vérification formelle de la proposition de l’ETSI sur un protocole de QKD - Université Côte d'Azur
Conference Papers Year : 2024

Vérification formelle de la proposition de l’ETSI sur un protocole de QKD

Abstract

Cet article présente une vérification formelle par ProVerif de la proposition de l’ETSI (European Telecommunications Standards Institute) pour standardiser l’utilisation d’un protocole de distribution quantique de clé.

Domains

Computer Science [cs] Mathematics [math]
Fichier principal
Vignette du fichier
ressi_conf_paper.pdf (127.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
Attribution

Thomas Prévost  : Connect in order to contact the contributor

https://hal.univ-cotedazur.fr/hal-04624746

Submitted on : Tuesday, June 25, 2024-3:42:22 PM

Last modification on : Wednesday, July 3, 2024-3:14:07 AM

Download

Dates and versions

hal-04624746 , version 1 (25-06-2024)

Licence

Attribution

Identifiers

  • HAL Id : hal-04624746 , version 1

Cite

Thomas Prévost, Bruno Martin, Olivier Alibart. Vérification formelle de la proposition de l’ETSI sur un protocole de QKD. RESSI 2024, May 2024, Eppe-Sauvage, France. ⟨hal-04624746⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S INPHYNI UNIV-COTEDAZUR
30 View
14 Download

Share

More