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

In der digitalen Welt beruht die Sicherheit unserer Geheimnisse auf mathematischen Schlössern, die unglaublich schwer zu knacken sind. Seit Jahrzehnten versuchen Experten, die Stärke dieser Schlösser mit einer einzigen Zahl zu messen, die meist als eine bestimmte Anzahl von „Bits“ ausgedrückt wird. Diese Zahl soll uns sagen, wie groß der Aufwand (in Bezug auf Zeit und Rechenleistung) ist, den ein Angreifer aufwenden müsste, um den Code zu brechen. Dieser einzelne Wert verbirgt jedoch eine entscheidende Komplikation: Der Wert hängt vollständig davon ab, wie wir diesen Aufwand zählen. Wenn wir den Speicherbedarf eines Computers als kostenlos betrachten, erscheint ein Schloss sehr stark. Wenn wir entscheiden, dass Speicher teuer in der Nutzung ist, kann dasselbe Schloss plötzlich schwach aussehen. Verschiedene Organisationen, wie etwa staatliche Standardisierungsgremien und Sicherheitsbehörden, verwenden unterschiedliche Wege, um diese Kosten zu zählen. Wenn sie dies tun, enden sie oft bei unterschiedlichen Antworten darüber, welches Schloss sicherer ist, was zu Verwirrung darüber führt, welchen Systemen man vertrauen kann und wann man zu neuen übergehen sollte.

Eine neue Studie stellt ein Framework namens GAUGE vor, das die Art und Weise, wie wir dieses Problem betrachten, verändert. Anstatt jedes Sicherheitssystem in eine einzige, starre Zahl zu pressen, behandeln die Forscher Sicherheit als ein flexibles Profil, das sich je nach den Regeln des Spiels verschiebt. Stellen Sie sich eine Landkarte vor, auf der sich das Gelände je nach dem Preis der Ressourcen verformt; ein Pfad, der unter einem Satz von Preisen sicher erscheint, kann unter einem anderen Satz von Preisen gefährlich werden. Durch die Kartierung dieser gesamten Landschaften kann das Team genau sehen, wo und warum verschiedene Sicherheitssysteme ihre Wege kreuzen. Sie fanden heraus, dass für viele der neuen, fortschrittlichen Schlösser, die für die Zukunft vorbereitet werden, die Antwort auf die Frage „Welches ist sicherer?“ keine einfache Tatsache ist. Es ist eine Frage, die völlig davon abhängt, welche Buchungsmethode man wählt.

Die Forscher wandten diese neue Methode auf die neueste Generation kryptographischer Standards an, insbesondere auf jene, die darauf ausgelegt sind, Angriffen durch zukünftige Quantencomputer standzuhalten. Sie nahmen ein spezifisches, weit verbreitetes System namens ML-KEM und verglichen es mit einem klassischen, gut verstandenen System namens AES. Unter den Standardregeln, die das US National Institute of Standards and Technology verwenden und die nur die Zeit zählen, die für die Durchführung eines Angriffs benötigt wird, erschien das neue System etwas schwächer als das klassische. Als die Forscher jedoch die Regeln anpassten, um die Kosten des Speichers einzubeziehen – ein Faktor, den einige europäische Sicherheitsbehörden als kritisch betrachten –, erschien das neue System plötzlich viel stärker. Die Studie bewies, dass eine winzige Verschiebung in der Preisgestaltung des Speichers, nur ein Unterschied von 4,5 % seines Wertes im Verhältnis zur Zeit, ausreicht, um die Rangfolge komplett umzukehren. Dies ist kein Fehler oder Rechenfehler; es ist eine fundamentale geometrische Tatsache darüber, wie diese Systeme sich verhalten. Die Forscher zeigten, dass keine einzelne, perfekte Zahl jemals die Wahrheit für alle erfassen kann, da sich die Systeme je nach Perspektive tatsächlich überschneiden.

Um das Problem der Entscheidungsfindung zu lösen, wenn die Antwort von der eigenen Perspektive abhängt, entwickelte das Team eine Methode, um diese Beziehungen zu klassifizieren. Sie schufen ein System, das Ihnen sagen kann, ob ein Schloss strikt besser als ein anderes ist, unabhängig von den Regeln, ob es nur unter bestimmten Bedingungen besser ist oder ob die beiden einfach unvergleichbar sind, weil sie sich kreuzen. Für die neuen quantenresistenten Schlösser stellte die Studie fest, dass sie oft unvergleichbar mit ihren klassischen Gegenstücken sind. Das bedeutet, dass die Wahl zwischen den beiden nicht eine Frage des Findens des objektiv stärkeren Schlosses ist, sondern eine bewusste Entscheidung darüber, welchem Kostenmodell man vertrauen möchte. Die Studie liefert ein mathematisches Zertifikat, das diese Überschneidungen verifizieren kann, wodurch Standardisierungsgremien genau sehen können, wo ihre Unstimmigkeiten liegen, und verstehen können, dass beide Seiten innerhalb ihrer jeweiligen gewählten Rahmenbedingungen mathematisch korrekt sein können.

Über den bloßen Vergleich von Schlössern hinaus hilft das Framework bei der Planung für die Zukunft. Die Forscher untersuchten die Geschichte der Art und Weise, wie schnell Hacker in den letzten zwanzig Jahren ihre Fähigkeit verbessert haben, Codes zu brechen. Sie fanden heraus, dass für bestimmte Arten mathematischer Probleme der Aufwand, die zu brechen, für einen bestimmten Zeitraum um fast zehn Bits Sicherheit pro Jahr gesunken ist. Mit diesen Daten bauten sie ein Risikomodell, das die Unsicherheit darüber, „wie schnell Hacker besser werden“, von der Unsicherheit darüber trennt, „welches Kostenmodell richtig ist“. Dies ermöglicht es Organisationen, zu berechnen, wie lange sie ein Geheimnis sicher aufbewahren können. Wenn ein Unternehmen beispielsweise ein Dokument für fünf Jahre schützen muss, schlägt die Studie eine spezifische Strategie vor, alte und neue Schlösser zu mischen, um das Risiko zu minimieren. Aber wenn sie es für dreißig Jahre schützen müssen, zeigt die Mathematik, dass dieselbe Strategie unzureichend sein könnte und einen viel früheren Wechsel zu neuer Technologie erfordert.

Die Studie testete diese Ideen auch an realen Hardware-Simulationen, um sicherzustellen, dass die Messungen genau sind. Sie führten Experimente auf einem simulierten Quantencomputer durch, um zu sehen, wie sich die Kosten für das Brechen eines Codes ändern, wenn man die physischen Gates der Maschine gegenüber der Zeit zählt. Die Simulation bestätigte, dass sich die Reihenfolge der Sicherheit tatsächlich ändern kann, je nachdem, wie man zählt, was die theoretischen Vorhersagen validiert. Die Forscher verpackten all ihre Werkzeuge, Daten und Verifizierungsschritte in ein öffentliches Toolset, das in weniger als sieben Sekunden jede Tabelle und jeden Befund reproduzieren kann. Diese Transparenz stellt sicher, dass die Ergebnisse nicht nur eine theoretische Übung sind, sondern ein praktisches Instrument, das jeder zur Überprüfung von Sicherheitsansprüchen nutzen kann.

Letztendlich sagt uns diese Arbeit nicht, welches Schloss das beste ist. Stattdessen gibt sie uns einen besseren Weg, die Frage zu stellen. Sie offenbart, dass die Debatte zwischen verschiedenen Sicherheitsbehörden oft nicht darüber geht, wer recht hat oder nicht, sondern darüber, welche Version der Realität sie messen. Indem sie die Regeln des Spiels explizit macht, ermöglicht das Framework politischen Entscheidungsträgern und Ingenieuren, das gesamte Bild zu sehen. Sie können nun verstehen, dass eine Unstimmigkeit über Sicherheitsstufen oft eine Unstimmigkeit darüber ist, wie Ressourcen bewertet werden, und sie können ihre Entscheidungen mit diesem Wissen treffen. Das Ergebnis ist ein klarerer, ehrlicherer Dialog über digitale Sicherheit, bei dem die Unsicherheit nicht hinter einer einzelnen Zahl verborgen wird, sondern klar für alle sichtbar dargelegt wird.