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é.
La cryptographie classique, aujourd’hui basée sur la complexité, doit faire face à la menace à moyen terme des ordinateurs quantiques. Une technologie prometteuse est la distribution quantique de clé qui assure une sécurité absolue basée sur les lois de la Physique Quantique. L’objectif premier de cet article est d’expliquer les fondements et les enjeux de la distribution quantique de clé en des termes simples et compréhensibles par tous. L’article présente les protocoles les plus connus et discute leur mise en place pratique dans différents milieux, ainsi que les enjeux sous-jacents.
Protocoles pratiques pour les réseaux de communication quantique Dans cette thèse, nous étudions les réseaux des états optiques quantiques intriqués avec différents degrés de complexité, avec une attention particulière portée à leur application dans des scénarios de communication quantique. Le but de la communication quantique est de permettre à deux ou plusieurs parties de communiquer d'une façon qui serait impossible avec de la technologie classique. L'archétype de ce domaine est la distribution de clé quantique ou quantum key distribution (QKD), qui permet à deux agents de partager une clé aléatoire secrète pour effectuer des communications sécurisées, en empêchant, au même temps, qu'un troisième agent malveillant puisse obtenir connaissance de leur clé. Dans ce manuscrit, cependant, nous explorons des scénarios de communication quantique qui vont au-delà de la QKD standard afin de tester les nombreuses possibilités offertes par les réseaux de dispositifs quantiques interconnectés, aussi appelés internet quantique. Spécifiquement, nous présentons trois types de réseaux quantiques, qui correspondent à trois niveaux de complexité d'internet quantique. Dans chaque niveau, nous décrivons le scénario de communication, les exigences physiques nécessaires pour construire l'architecture spécifique et un nouveau protocole qui ne peut pas être reproduit sans des ressources quantiques. Dans cette document, nous veillons particulièrement à la "praticité" des protocoles, notamment le fait que leur implémentation doit être possible dans des conditions réalistes avec technologie existante, au moins comme preuve du principe. Le premier concerne un protocole quantique à preuves interactives qui montre pour la première fois une preuve expérimentale d'un avantage quantique dans un cadre interactif. Dans ce scénario, il y a un prouveur avec de la puissance calculatoire illimitée qui veut convaincre un vérifieur honnête de l'existence d'une certaine solution d'un problème mathématique complexe, en lui envoyant une partie de la preuve sous forme d'états quantiques. Notre construction permet au vérifieur de vérifier l'assertion du prouveur sans recevoir la solution entière. Nous prouvons que sans ressources quantiques, le protocole de vérification exigerait un temps exponentiel en la taille de la solution, menant à un avantage quantique en terme de temps de calcul, avantage que nous avons démontré dans notre laboratoire. Le deuxième porte sur un protocole de vote électronique qui exploite un état quantique multipartite intriqué non fiable pour réaliser une élection sans s'appuyer sur des autorités électorales, dont le résultat peut être vérifié publiquement sans compromettre la robustesse de la construction et qui peut être implémenté aisément avec les technologies de pointe existantes pour un petit nombre de votant. À l'invers des résultats précédents, notre protocole n'exige pas une émission simultanée et marche aussi dans des scénarios bruyants, où la sécurité est limitée par la fidélité de l'état quantique utilisé. Enfin, nous simulons des états comprimés de la lumière de nombreux modes comme des réseaux quantique Gaussien à variables continues avec des topologies complexes, nous caractérisons leur corrélations et nous estimons l'intensification de leur coût pendant que les réseaux grandissent avec une théorie de ressource de compression. Nous prouvons un résultat qui permet de renforcer l'intrication entre deux nœuds du réseau si on mesure les chemins multiples qui les connectent et nous utilisons cet effet pour concevoir un protocole de routage d'intrication dont les performance sont particulièrement efficace dans des réseaux complexes grands.
La cryptographie quantique permet la distribution d'une clé de cryptage partagée entre deux interlocuteurs distants, tout en assurant la sécurité inconditionnelle de cette distribution grâce aux lois de la physique quantique et de la théorie de l'information. Nous avons réalisé un démonstrateur complet de cryptographie quantique, fondé sur un protocole pour lequel l'information est codée sur des variables continues de la lumière, à savoir les quadratures du champ électromagnétique. Le système est exclusivement constitué de composants standard de l'industrie des télécommunications, qui permettent à Alice de générer les états cohérents de la lumière puis de les moduler, et à Bob de mesurer ces états grâce à une détection homodyne fonctionnant en régime impulsionnel et limitée par le bruit de photon. Nous avons par ailleurs développé un logiciel complet de gestion de la distribution de clé, qui assure d'une part le bon fonctionnement de la transmission quantique et les rétrocontrôles nécessaires pour la stabilité de celle-ci, et qui permet d'autre part l'extraction d'une clé secrète à partir des données partagées après la transmission quantique. Le système a été intégré dans des boîtiers rackables, afin d'effectuer une démonstration en vraie grandeur dans le cadre d'un réseau de cryptographie quantique, mis en place sur des fibres installées dans la ville de Vienne (Autriche). Lors de cette démonstration, notre système a fonctionné en continu pendant 57 heures, à un taux moyen de 8 kbit/s. Enfin, nous avons exploré différentes possibilités d'amélioration du système, à travers un nouveau protocole de cryptographie et l'utilisation d'amplificateurs optiques.
La distribution quantique de clé permet la transmission d'une clé de cryptage secrète entre deux interlocuteurs distants. Les lois de la physique quantique garantissent la sécurité inconditionnelle du transfert. L'utilisation de variables continues dans le domaine de l'information quantique, récemment apparue, permet de concevoir des systèmes de distribution quantique de clé qui ne nécessitent que des composants standards de l'industrie des télécommunications. Ces composants ouvrent la voie vers les hauts débits caractéristiques des liaisons en fibres optiques. Nous avons réalisé un système complet de distribution quantique de clé qui utilise l'amplitude et la phase d'états cohérents pulsés de la lumière modulées selon une distribution gaussienne. Notre système est exclusivement réalisé avec des fibres optiques, et atteint un taux de répétition de 1 MHz. Nous avons caractérisé l'information secrète transmise par ce dispositif. Nous avons validé cette caractérisation en réalisant des attaques quantiques originales qui couvrent l'ensemble des perturbations qui peuvent être envisagées sur la transmission. Nous avons ensuite adapté des algorithmes de correction d'erreur et d'amplification de secret qui produisent une clé secrète à partir des données expérimentales. Enfin, nous avons conçu un ensemble logiciel autonome qui intègre la gestion de l'expérience aux algorithmes de correction d'erreur. Ces travaux nous ont permis de distribuer une clé secrète sur une fibre de 25 km avec un taux finalde 1 kb/s. Le système que nous avons réalisé sera intégré dans un réseau de distribution quantique de clé faisant intervenir plusieurs collaborateurs européens.
Quelque soit l’environnement dans lequel se deroule une communication, la securite reste un pilier necessaire pour le bon deroulement de cette communication. Afin d’assurer un certain niveau de securite, la confidentialite est un element essentiel a assurer. Ce sont les techniques de cryptographie qui l’assurent. La pierre angulaire des techniques cryptographiques est la gestion de cle. Plusieurs protocoles ont ete proposes pour assurer une bonne gestion de cle dans un groupe, mais leur securite se base sur la complexite computationnelle. La distribution de cle quantique, par abus dite cryptographie quantique, est une primitive cryptographique basee sur les lois de la mecanique quantique, permettant d’etablir une cle secrete commune entre les traditionnels correspondants Alice et Bob. Dans cette these, nous nous interessons a la problematique de la distribution de cle dans groupe. Nous proposons pour cela une solution basee sur la distribution de cle quantique, ce qui permet d’exploiter cette meme solution dans le contexte de groupe. Nous avancons par la suite la preuve formelle de la solution proposee en utilisant le verificateur formel PRISM
Les protocoles de distribution de clé quantique (QKD) permettent de construire des canaux de communications sensibles à l’espionnage grâce aux propriétés quantiques fondamentales de la lumière. L’un des principaux défis à surpasser pour déployer de tels protocoles à grande échelle est le coût de déploiement de la technologie. Une solution attrayante en ce sens serait d’exploiter l’infrastructure de fibre optique déjà existante pour exécuter mettre en oeuvre de tels protocoles. Cela implique cependant de faire coexister des signaux quantiques avec des signaux telecoms classiques, ce qui peut être un défi de part la sensibilité des états quantiques aux perturbations. Ici, nous nous intéressons plus particulièrement aux protocoles de distribution de clé quantique à variables continues (CV-QKD), car leur proximité avec les communications cohérentes classiques indiquent qu’ils sont de bons candidats pour coexister sur une même fibre. En partant du principe que les protocoles CV-QKD sont destinés, à terme, à être déployés de manière conjointe avec des protocoles de communication classique, la question qui se pose est la suivante. Cette coexistence avec des signaux classiques est-elle forcément un désavantage pour la CV-QKD ? Nous montrons qu’en construisant de façon conjointe des protocoles de communication quantique et classique, alors la coexistence peut présenter des avantages exploitables pour la CV-QKD. Dans un premier travail, nous démontrons expérimentalement que le signal classique peut servir de signal pilote au signal quantique, ce qui permet notamment de s’affranchir de signaux pilotes auxiliaires généralement nécessaires en CV-QKD. Dans un second travail, nous montrons que le bruit généré par des canaux classiques peut servir à dissimuler le signal quantique. La communication quantique peut alors être réalisée de façon indétectable, ou « covert », ce qui, combiné à un échange de clé par QKD permet d’envisager des garanties de sécurité extrêmement élevées. Nous analysons les conditions nécessaires, à la faisabilité du déploiement covert de la CV-QKD.