Vérification formelle de la proposition de l'ETSI sur un protocole de QKD
1 : Modèles Discrets pour les Systèmes Complexes
* : Auteur correspondant
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
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é.
| Type : | : | Article |
| Langue du texte intégral | : | français |
| Thématiques | : | Thèses |
| PDF version | : |  PDF version |
- Poster
