Formal verification of the ETSI proposal on a standard QKD protocol
Résumé
This article presents a formal verification by ProVerif of the ETSI proposal to standardize the use of a quantum key distribution protocol.
Domaines
Cryptographie et sécurité [cs.CR]Origine | Fichiers produits par l'(les) auteur(s) |
---|