Vérification formelle de la proposition de l’ETSI sur un protocole de QKD - Université Côte d'Azur Access content directly
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é.
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

Dates and versions

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

Licence

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⟩
1 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More