Vérification formelle de la proposition de l’ETSI sur un protocole de QKD
Overview & Synopsis
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é.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Vérification formelle de la proposition de l’ETSI sur un protocole de QKD |
|---|---|
| Author / Organization | Thomas Prévost, Bruno Martin, Olivier Alibart |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2024 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-192448 |
| Original Source Link | Visit Source Page on hal.science » |