Vérification formelle de la proposition de l’ETSI sur un protocole de QKD - Université Côte d'Azur Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

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

Résumé

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é.

Domaines

Informatique [cs] Mathématiques [math]
Fichier principal
Vignette du fichier
ressi_conf_paper.pdf (127.98 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Paternité

Thomas Prévost  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 25 juin 2024-15:42:22

Dernière modification le : mercredi 3 juillet 2024-03:14:07

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04624746 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S INPHYNI UNIV-COTEDAZUR
1 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More