GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models

Dans le monde numérique, la sécurité de nos secrets repose sur des verrous mathématiques incroyablement difficiles à crocheter. Depuis des décennies, des experts tentent de mesurer la force de ces verrous avec un nombre unique, généralement exprimé en un certain nombre de « bits ». Ce nombre est censé nous indiquer l'effort nécessaire, en termes de temps et de puissance de calcul, pour briser le code. Cependant, ce nombre unique cache une complication cruciale : sa valeur dépend entièrement de la manière dont nous décidons de compter cet effort. Si nous considérons que la mémoire informatique est gratuite, un verrou peut sembler très robuste. Si nous décidons que la mémoire est coûteuse à utiliser, ce même verrou peut soudainement paraître faible. Différentes organisations, telles que les organismes de normalisation gouvernementaux et les agences de sécurité, utilisent différentes manières de compter ces coûts. Lorsqu'elles le font, elles aboutissent souvent à des réponses différentes concernant la sécurité d'un verrou, ce qui crée de la confusion sur les systèmes auxquels faire confiance et sur le moment de passer aux nouveaux.

Une nouvelle étude introduit un cadre appelé GAUGE, qui change notre façon d'aborder ce problème. Au lieu de forcer chaque système de sécurité dans un nombre unique et rigide, les chercheurs traitent la sécurité comme un profil flexible qui change selon les règles du jeu. Imaginez une carte où le terrain change de forme en fonction du prix des ressources ; un chemin qui semble sûr sous un ensemble de prix peut devenir dangereux sous un autre. En cartographiant ces paysages entiers, l'équipe peut voir exactement où et pourquoi différents systèmes de sécurité se croisent. Ils ont découvert que pour beaucoup des nouveaux verrous avancés préparés pour le futur, la réponse à la question « lequel est le plus sûr ? » n'est pas un fait simple. C'est une question qui dépend entièrement de la méthode de comptabilité que vous choisissez.

Les chercheurs ont appliqué cette nouvelle méthode aux dernières générations de standards cryptographiques, spécifiquement ceux conçus pour résister aux attaques des futurs ordinateurs quantiques. Ils ont pris un système spécifique, largement utilisé, appelé ML-KEM, et l'ont comparé à un système classique et bien connu, l'AES. Sous les règles standards utilisées par le National Institute of Standards and Technology des États-Unis, qui ne comptent que le temps nécessaire pour mener une attaque, le nouveau système est apparu légèrement plus faible que le classique. Cependant, lorsque les chercheurs ont ajusté les règles pour inclure le coût de la mémoire — un facteur que certaines agences de sécurité européennes considèrent comme critique — le nouveau système est soudainement apparu beaucoup plus fort. L'étude a prouvé qu'un infime changement dans la façon dont la mémoire est valorisée, un écart de seulement 4,5 % de sa valeur par rapport au temps, suffit à inverser complètement le classement. Ce n'est pas une erreur ou une erreur de calcul ; c'est un fait géométrique fondamental sur la façon dont ces systèmes se comportent. Les chercheurs ont montré qu'aucun nombre unique et parfait ne pourra jamais capturer la vérité pour tout le monde, car les systèmes se croisent réellement selon la perspective adoptée.

Pour résoudre le problème de la prise de décision quand la réponse dépend de votre perspective, l'équipe a développé un moyen de classifier ces relations. Ils ont créé un système capable de vous dire si un verrou est strictement meilleur qu'un autre quel que soit le règlement, s'il est meilleur uniquement sous certaines conditions, ou si les deux sont simplement incomparables parce qu'ils se croisent. Pour les nouveaux verrous résistants au quantique, l'étude a révélé qu'ils sont souvent incomparables à leurs homologues classiques. Cela signifie que choisir l'un plutôt que l'autre n'est pas une question de trouver le verrou objectivement le plus fort, mais plutôt un choix conscient sur le modèle de coût auquel vous souhaitez accorder votre confiance. L'étude fournit un certificat mathématique qui peut vérifier ces croisements, permettant aux organismes de normalisation de voir exactement où se situent leurs désaccords et de comprendre que les deux parties peuvent être mathématiquement correctes dans leurs propres cadres choisis.

Au-delà de la simple comparaison de verrous, le cadre aide à la planification de l'avenir. Les chercheurs ont examiné l'historique de la vitesse à laquelle les hackers ont amélioré leur capacité à briser les codes au cours des vingt dernières années. Ils ont découvert que pour certains types de problèmes mathématiques, l'effort requis pour les briser a chuté de près de dix bits de sécurité chaque année pendant une période spécifique. En utilisant ces données, ils ont construit un modèle de risque qui sépare l'incertitude de « la rapidité avec laquelle les hackers s'améliorent » de l'incertitude de « quel modèle de coût est le bon ». Cela permet aux organisations de calculer combien de temps elles peuvent garder un secret en toute sécurité. Par exemple, si une entreprise doit protéger un document pendant cinq ans, l'étude suggère une stratégie spécifique de mélange de vieux et de nouveaux verrous pour minimiser le risque. Mais si elle doit le protéger pendant trente ans, les mathématiques montrent que la même stratégie pourrait être insuffisante, nécessitant un passage beaucoup plus précoce vers une nouvelle technologie.

L'étude a également testé ces idées sur des simulations de matériel réel pour s'assurer de l'exactitude des mesures. Ils ont mené des expériences sur un ordinateur quantique simulé pour voir comment le coût de la rupture d'un code change lorsqu'on compte les portes physiques de la machine par rapport au temps nécessaire. La simulation a confirmé que l'ordre de sécurité peut effectivement s'inverser selon la manière dont on compte, validant ainsi les prédictions théoriques. Les chercheurs ont regroupé tous leurs outils, données et étapes de vérification dans un ensemble d'outils publics qui peut reproduire chaque tableau et conclusion en moins de sept secondes. Cette transparence garantit que les résultats ne sont pas seulement un exercice théorique, mais un instrument pratique que quiconque peut utiliser pour auditer les affirmations de sécurité.

En fin de compte, ce travail ne nous dit pas quel est le meilleur verrou. Au lieu de cela, il nous donne une meilleure façon de poser la question. Il révèle que le débat entre les différentes agences de sécurité n'est souvent pas une question de savoir qui a raison ou tort, mais de savoir quelle version de la réalité elles mesurent. En rendant explicites les règles du jeu, le cadre permet aux décideurs et aux ingénieurs de voir l'image complète. Ils peuvent désormais comprendre qu'un désaccord sur les niveaux de sécurité est souvent un désaccord sur la manière de valoriser les ressources, et ils peuvent prendre leurs décisions avec cette connaissance à l'esprit. Le résultat est une conversation plus claire et plus honnête sur la sécurité numérique, où l'incertitude n'est pas cachée derrière un chiffre unique, mais exposée clairement pour tous.