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é.
Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
licence |