Résumé Technique : Les Trois Axes du Risque Quantique

1. Énoncé du Problème

La migration post-quantique est passée de la recherche à la nécessité opérationnelle, sous l'impulsion de la finalisation des normes FIPS 203/204/205 par le NIST et des échéances de la NSA CNSA 2.0 (2025–2033). Cependant, les outils actuels d'observabilité cryptographique souffrent d'une limitation critique : ils répondent à une question unique pour chaque actif : « Sa primitive est-elle résistante au post-quantique (PQ) ? »

Cette approche à axe unique ne parvient pas à capturer l'intégralité de la posture de risque quantique car :

1. La protection du canal est ignorée : Deux actifs possédant des algorithmes identiques (ex: ECDSA-P256) présentent des profils de risque très différents si l'un opère sur une liaison non protégée et l'autre sur une liaison de distribution de clés quantiques (QKD).
2. L'agilité cryptographique est invisible : Un actif utilisant un algorithme classique qui peut être modifié via une configuration présente un état de risque différent d'un actif où l'algorithme est codé en dur dans le firmware. Les outils actuels ne font pas de la « l'agilité de migration » une métrique de télémétrie de premier rang.
3. Absence de modélisation unifiée : Le PQC et la QKD sont souvent traités comme des alternatives mutuellement exclusives dans la littérature, alors que les opérateurs ont besoin d'un modèle unifié pour évaluer les environnements où les déploiements hybrides sont la réalité.

Par conséquent, les opérateurs ne peuvent pas répondre avec précision à la question « Pouvons-nous être prêts pour le PQ à temps ? » car ils manquent d'une vue unifiée de la résistance algorithmique, de la sécurité du canal et de la vitesse de migration.

2. Méthodologie

Les auteurs proposent un Modèle de Posture de Risque Quantique à Trois Axes qui traite le risque comme un problème d'observation multidimensionnel. Chaque actif est noté sur trois axes indépendants, qui sont ensuite regroupés en un score unique ajusté selon l'échéance, $q(asset, t)$.

Les Trois Axes

• Axe A (Résistance Algorithmique) : Note les primitives cryptographiques sur une échelle de [0, 1].
  • 1.0 : Résistant au PQ (ex: ML-KEM, ML-DSA).
  • 0.9 : Hybride PQ (ex: X25519 + ML-KEM).
  • 0.3 : Classique (ex: RSA-2048, ECDSA).
  • 0.0 : Obsolète/Cassé (ex: SHA-1, RC4).
  • Les scores sont pondérés par rôle (signature, échange de clés, chiffrement, hachage).
• Axe C (Protection du Canal) : Note le mécanisme de livraison des clés sur une échelle de [0, 1].
  • 1.0 : Uniquement QKD.
  • 0.7 : Hybride QKD PSK (clés dérivées de QKD utilisées en modes hybrides).
  • 0.0 : Uniquement classique.
  • Cet axe prend en compte la dégradation de la liaison (ex: taux d'erreur de bit quantique élevé) en diminuant le score proportionnellement.
• Axe G (Agilité de Migration) : Note la capacité à changer les primitives sur une échelle de [0, 1].
  • 1.0 (Négocié) : Algorithme sélectionné par session (ex: TLS 1.3).
  • 0.75 (Configurable) : Modifiable via un fichier de configuration.
  • 0.50 (Fixé/Pinned) : Codé en dur dans la source, modifiable via une mise à jour logicielle.
  • 0.20 (Verrouillé) : Fixé dans le firmware ou les modules validés FIPS.
  • 0.0 (Gelé) : Fixé dans le silicium ou la ROM.

Le Score Unifié

Le modèle calcule un score de risque ajusté à l'échéance $q(asset, t)$ :
$$q(asset, t) = 1 - (\alpha \cdot A + \beta \cdot C + \gamma(\tau) \cdot G)$$
Où $\tau$ représente la « tension de l'échéance » (proximité de la date actuelle $t$ par rapport à l'échéance $D$ de l'opérateur). À mesure que l'échéance approche, le poids $\gamma$ attribué à l'agilité diminue, reflétant qu'une agilité élevée est moins tolérante lorsque le temps vient à manquer. Un indicateur BLOCKED (bloqué) est levé pour les actifs ayant une faible agilité qui ne peuvent être migrés à temps, quel que soit leur score actuel.

Implémentation : Sezar

Les auteurs ont implémenté Sezar, une plateforme d'observabilité open-source en Rust, pour opérationnaliser ce modèle. Les composants clés incluent :

• Extension de Schéma : Extension du schéma crypto_inventory_event v1 pour inclure les champs channel_protection et agility.
• Cinq Agents :
  1. sezar-net : Observation TLS/SSH/IPsec basée sur eBPF.
  2. sezar-qkd : Collecteur ETSI GS QKD 014 et un émulateur de KME synthétique pour les tests.
  3. sezar-agility : Scanner statique utilisant des règles Semgrep pour analyser le code source et les binaires pour les niveaux d'agilité.
  4. sezar-cert : Inventaire X.509 via les journaux CT (Certificate Transparency) et les scans d'hôtes.
  5. sezar-chain : Observation de la blockchain publique.
• Moteur de Regroupement (Rollup Engine) : Une fonction pure qui ingère les événements et calcule le score unifié basé sur les poids et les échéances configurés par l'opérateur.

3. Contributions Clés

1. Le Modèle à Trois Axes : Un cadre formel séparant la résistance algorithmique, la protection du canal et l'agilité de migration, reconnaissant que le PQC et la QKD sont des observables complémentaires.
2. Extension de Schéma : Une mise à jour strictement additive du schéma crypto_inventory_event (v1.1) permettant une télémétrie interopérable pour la QKD et l'agilité.
3. Implémentation de Référence Sezar : Une pile open-source complète (agents, collecteur, tableau de bord) qui unifie l'observation réseau par eBPF, la télémétrie QKD via REST et l'analyse de code statique.
4. Émulateur QKD : Un émulateur d'entité de gestion de clés (KME) conforme à la norme ETSI GS QKD 014, permettant aux praticiens de tester des logiciels conscients de la QKD sans matériel physique.
5. Rubrique d'Agilité et Corpus : Un système de notation ordinal à cinq niveaux opérationnalisé via un pack de règles Semgrep, validé par rapport à un corpus de vérité terrain annoté manuellement de 50 projets serveurs open-source.

4. Résultats Empiriques

L'article valide le modèle à travers trois études reproductibles :

• Étude 1 (Axe A - Tranco Top-1k) :

  • Scan de 724 hôtes réactifs du top-1k de Tranco.
  • Résultat : 43,8 % des hôtes ont négocié un échange de clés hybride PQ (X25519MLKEM768) lorsqu'il était proposé. Cependant, 16,9 % négociaient encore TLS 1.2 (structurellement inéligible au PQ), et la distribution des signatures de certificats restait dominée par RSA (64,9 %).
  • Insight : Les scans à axe unique manquent les contraintes structurelles (version TLS) et le manque d'agilité des certificats.

• Étude 2 (Axe C - Émulateur QKD) :

  • Test du système contre 13 transitions d'état induites à travers cinq scénarios de défaillance (état stable, dégradation, défaillance matérielle, PSK périmé, SAE bifurqué).
  • Résultat : 13/13 changements d'état ont été correctement classés. Le système a correctement distingué les défaillances au niveau de la liaison des problèmes d'attribution par session (ex: un SAE échouant tandis qu'un autre réussit).
  • Insight : La télémétrie au niveau de la liaison seule est insuffisante ; une attribution par session est nécessaire pour scorer précisément la protection du canal.

• Étude 3 (Axe G - Pilote d'Agilité) :

  • Comparaison du scanner sezar-agility par rapport à la vérité terrain annotée manuellement pour un sous-ensemble de 11 projets du corpus de 50 projets.
  • Résultat : 91 % d'accord (10/11 projets). Le seul désaccord concernait chrony, où les preuves statiques étaient ambiguës entre « configurable » et « fixé ».
  • Insight : L'analyse statique peut atteindre un accord substantiel avec la notation humaine, bien que les lacunes de couverture de l'écosystème Go (manquant initialement les modèles crypto/tls) aient nécessité des mises à jour de règles.

5. Signification et Revendications

L'article affirme que la métrique de préparation au PQ à « bit unique » est insuffisante pour les opérateurs confrontés aux échéances 2030–2033. La portée de ce travail réside dans :

1. Évaluation Holistique du Risque : Il démontre que le risque d'un actif ne concerne pas seulement l'algorithme qu'il utilise, mais aussi la manière dont les clés sont livrées et la rapidité avec laquelle l'algorithme peut être remplacé.
2. Faisabilité Opérationnelle : Il prouve qu'un modèle d'observabilité unifié couvrant le PQC, la QKD et l'agilité peut être construit à l'aide de matériel courant et d'outils open-source, sans nécessiter de piles commerciales propriétaires.
3. Priorisation Actionnable : En regroupant trois axes en un score ajusté à l'échéance, le modèle permet aux opérateurs de prioriser les efforts de migration en se basant sur un « temps de correction » réaliste plutôt que sur la seule « vulnérabilité actuelle ».
4. Reproductibilité : Les auteurs fournissent l'intégralité du schéma, de l'émulateur, des ensembles de règles et du corpus de vérité terrain, invitant la communauté à vérifier, critiquer et affiner les constantes et les poids plutôt que d'accepter ces derniers comme des vérités absolues.

Les auteurs déclarent explicitement que le modèle ne résout pas les contraintes économiques ou politiques de la migration, mais fournit la couche de télémétrie nécessaire pour rendre ces décisions éclairées. La contribution est le modèle et l'outil, et non les scores numériques spécifiques, qui sont destinés à être configurables par l'opérateur.