Stability Buys Time: A Re-Keying Game for Encrypted Multi-Agent Control

Résumé Technique : La Stabilité Achète du Temps : Un Jeu de Re-clétage pour le Contrôle Multi-Agents Chiffré

Énoncé du Problème
L'article traite d'une vulnérabilité critique dans les systèmes de contrôle multi-agents chiffrés utilisant le chiffrement totalement homomorphe (FHE). Bien que le FHE permette à un serveur cloud de coordonner une flotte d'agents sur des données chiffrées sans en voir le texte en clair, le schéma spécifique utilisé pour le contrôle de valeurs réelles, CKKS, introduit un paradoxe de sécurité. CKKS est un schéma approximatif où le déchiffrement renvoie une valeur contaminée par un bruit de chiffrement ($z + e/\Delta$). Dans une boucle de contrôle, les actionneurs doivent déchiffrer les commandes pour agir, rendant ces déchiffrements bruités inévitables. Une cryptanalyse récente a montré que l'observation de ces déchiffrements permet à un adversaire de reconstruire la clé secrète.

La littérature existante traite cela de manière isolée : la sécurité du FHE est analysée de façon statique (le flooding de bruit pour un déchiffrement unique), le contrôle chiffré suppose un cloud « honnête mais curieux », et les modèles de menaces persistantes basés sur la théorie des jeux pénètrent rarement le cryptosystème lui-même. Cet article modélise l'interaction entre une flotte et une menace persistante avancée (APT) qui exploite la fuite de clés inévitable au fil du temps, arguant que les défenses statiques sont insuffisantes pour les missions à long horizon.

Méthodologie
Les auteurs modélisent la sécurité de la boucle de contrôle chiffrée comme un jeu en deux phases entre un défenseur de la flotte coopératif et une APT (menace persistante avancée) :

1. Phase I : Reconnaissance Passive (Jeu Statique)

   • L'adversaire intercepte le trafic chiffré et observe un sous-ensemble de commandes déchiffrées des agents.
   • Le défenseur s'engage sur un niveau de « flooding de bruit » ($\sigma$) statique, ajouté aux valeurs déchiffrées pour masquer la clé.
   • Cette phase est modélisée comme un jeu de Stackelberg où le défenseur s'engage sur $\sigma$ en premier. L'adversaire accumule des observations jusqu'à ce que le bruit soit suffisamment « dé-flooded » pour récupérer la clé.
   • Les auteurs établissent que la fuite s'accumule à un taux d'une observation indépendante par cycle de contrôle, car le système fait évoluer un seul ciphertext sur place sous une clé partagée, et le bootstrapping (rafraîchissement du bruit) ne réinitialise ni la clé ni la fuite accumulée.

2. Phase II : Manipulation Active (Jeu de Timing Dynamique)

   • Une fois que l'adversaire décide d'agir, il manipule le calcul chiffré pour accélérer la récupération de la clé ou perturber la flotte.
   • Cette manipulation perturbe la boucle de contrôle, se manifestant par des résidus de contrôle basés sur un modèle (détectés via un test $\chi^2$).
   • Le mouvement adaptatif du défenseur est le re-clétage (re-keying) : générer une nouvelle clé secrète et re-chiffrer l'état de la flotte. Cela réinitialise le registre de fuite accumulée de l'adversaire à zéro.
   • Cette phase est modélisée comme un jeu de timing de type « FlipIt » (détection-évasion). Le défenseur choisit une cadence de re-clétage ($T$), tandis que l'adversaire choisit une posture (passive, active-furtive ou active-agressive) pour maximiser la vitesse de récupération tout en évitant la détection.

Contributions Clés

• Modèle APT à deux phases : L'article formule la sécurité d'une boucle de contrôle multi-agents chiffrée comme un jeu à deux phases (reconnaissance passive suivie d'une manipulation active), séparant l'accumulation de fuite indétectable de la phase de manipulation détectable.
• Re-clétage vs Bootstrapping : Les auteurs distinguent le bootstrapping (qui rafraîchit le bruit sous la même clé) du re-clétage (qui change la clé). Ils prouvent que seul le re-clétage réinitialise la connaissance accumulée par l'adversaire, ce qui en fait le levier de sécurité nécessaire.
• Régimes dépendants de la précision : L'analyse identifie une tension tripartite entre la précision du FHE ($\Delta$), la précision du contrôle (bornée par le flooding de bruit maximal tolérable $\sigma_{max}$), et la cadence de re-clétage. Cela conduit à trois régimes opérationnels distincts :
  1. Plancher d'insécurité : La précision est trop faible ; même un flooding maximal ne peut empêcher la récupération de la clé en un seul cycle.
  2. Fenêtre de Re-clétage : La précision se situe dans une plage bornée où le flooding statique est insuffisant, mais où le re-clétage est réalisable. C'est le « point de sécurité efficace ».
  3. Plafond de suffisance statique : La précision est suffisamment élevée pour que le flooding de bruit statique sécurise la clé pour la durée de la mission, rendant le re-clétage inutile.
• Cadence dépendante de la topologie : La cadence de re-clétage optimale est déterminée par la fragilité du contrôle de la topologie du réseau. Les topologies plus fragiles (ex: tore marginalement stable) nécessitent un re-clétage plus fréquent que les topologies bien connectées (ex: graphe complet).

Résultats
Les auteurs instancient le cadre sur une flotte de neuf agents utilisant la bibliothèque OpenFHE à travers trois topologies : anneau, tore et graphe complet.

• Tolérance de contrôle : Le flooding de bruit maximal tolérable ($\sigma_{max}$) est directement lié au rayon spectral en boucle fermée. La topologie du tore (marginalement stable) tolère le moins de bruit ($\sigma_{max} \approx 0,3$), tandis que le graphe complet tolère le plus ($\sigma_{max} \approx 0,75$).
• Taux de fuite : Les expériences confirment que la fuite s'accumule à raison d'une observation par cycle, quel que soit le taux de contraction en boucle fermée, car chaque cycle introduit une nouvelle contrainte de mesure sous la même clé.
• Cartographie des régimes : À une précision de $\Delta \approx 2^{37}$, le système tombe dans la « fenêtre de re-clétage ».
  • Le Tore (le plus fragile) nécessite une cadence « Vigilante » (re-clétage tous les ~200 cycles).
  • L'Anneau nécessite une cadence « Modérée » (~600 cycles).
  • Le Graphe Complet tolère une cadence « Paresseuse » (~1500 cycles).
• Comportement de l'adversaire : Le détecteur basé sur le modèle évite efficacement la manipulation « agressive » (attaques de grande magnitude), forçant l'adversaire rationnel à rester « furtif ». La stratégie optimale du défenseur est de re-cléter selon la cadence la plus « paresseuse » qui empêche tout de même l'adversaire furtif d'atteindre le seuil de récupération avant la détection.

Signification et Revendications
L'article affirme que la sécurité pour les cryptosystèmes approximatifs dans les boucles de rétroaction est fondamentalement un jeu dynamique où le mouvement du défenseur est le propre mécanisme de rafraîchissement du cryptosystème (le re-clétage).

• La stabilité achète du temps : L'article soutient que la stabilité du contrôle du système dicte la cadence de sécurité cryptographique. Un système plus stable (un $\sigma_{max}$ plus élevé) permet un intervalle plus long entre les événements de re-clétage.
• La « Fenêtre » d'efficacité : Les auteurs affirment que le point de fonctionnement sécurisé et efficace se situe dans la fenêtre de précision bornée où le flooding statique échoue mais où le re-clétage est viable. Cela remet en question l'idée que une précision plus élevée est toujours préférable, suggérant qu'opérer dans une plage de précision spécifique minimise le coût du re-clétage tout en maintenant la sécurité.
• Au-delà du contrôle : Les auteurs suggèrent que ce cadre s'applique à tout système devant déchiffrer de manière répétée pour agir, positionnant la cadence de re-clétage comme une défense dynamique contre la fuite persistante.

L'article reste modeste quant à sa portée, notant que l'analyse suppose une observation complète des agents ($\kappa = M$) et un défenseur de la flotte coopératif. Il identifie les seuils d'observation partielle et les agents stratégiques ou corrompus comme des extensions futures nécessaires.