NEBULA: A Language - Independent Specification for Opaque Rotating Refresh Tokens

Stellen Sie sich das Internet als eine riesige, geschäftige Stadt vor, in der Sie sich ausweisen müssen, um verschiedene Gebäude betreten zu dürfen. Normalerweise tragen Sie einen temporären Ausweis (ein Access Token), der Ihnen für ein paar Minuten Einlass gewährt. Wenn Sie länger bleiben möchten, tauschen Sie diesen Ausweis gegen einen Generalschlüssel (ein Refresh Token) ein, mit dem Sie jederzeit einen neuen temporären Ausweis erhalten können. Dieses System ist überall im Einsatz, von Ihren Lieblings-Social-Media-Apps bis hin zu Ihrer Bank. Aber hier ist der Haken: Dieser Generalschlüssel ist unglaublich mächtig. Wenn ein Dieb ihn stiehlt, kann er sich tagelang oder wochenlang als Sie ausgeben, lautlos Ihre Daten stehlen oder Ihr Geld ausgeben, während Sie nicht einmal eine Ahnung davon haben.

Um dies zu verhindern, haben Sicherheitsexperten eine Regel aufgestellt: „Benutze den Schlüssel nicht nur; ändere ihn jedes Mal, wenn du ihn benutzt.“ Dies wird Rotation genannt. Es ist wie ein magisches Schloss, das, jedes Mal wenn man es dreht, einen brandneuen Schlüssel ausspuckt und den alten sofort zerstört. Wenn ein Dieb versucht, den alten, zerstörten Schlüssel zu benutzen, sollte das System schreien: „Hey! Jemand versucht, einen toten Schlüssel zu benutzen! Sperrt alles ab!“ Das aktuelle Regelwerk für dieses System gleicht jedoch eher einer vagen Empfehlung als einem strengen Handbuch. Es besagt: „Sie sollten die Schlüssel ändern“, aber es erklärt nicht genau, wie man das Schloss baut, was zu tun ist, wenn zwei Personen versuchen, das Schloss im exakt selben Millisekundenbruchteil zu drehen, oder wie man damit umgeht, wenn eine Nachricht auf dem Postweg verloren geht. Aufgrund dieser Unschärfe bauen verschiedene Unternehmen ihre Schlösser auf unterschiedliche Weise, und manchmal schaffen diese Unterschiede geheime Hintertüren, durch die sich Diebe schleichen können, ohne dass es jemand bemerkt.

Hier kommt das Paper NEBULA ins Spiel. Die Forscher, angeführt von Matteo Teodori, beschlossen, mit dem Raten aufzuhören und ein kristallklares, schrittweises Handbuch für den Bau dieser rotierenden Schlüssel zu schreiben. Sie entwickelten eine Spezifikation namens NEBULA, die wie ein universeller Bauplan für ein „magisches Schloss“ funktioniert, das unabhängig von der verwendeten Programmiersprache auf die gleiche Weise arbeitet.

Das Paper führt eine neue Art des Denkens über diese Schlüssel ein. Anstatt eines einzelnen, komplexen Code-Strings teilt NEBULA den Schlüssel in zwei Teile auf: einen Selector (eine öffentliche ID-Karte, die dem System sagt, welches Schloss es prüfen soll) und einen Verifier (ein geheimes Passwort, das beweist, dass Ihnen der Schlüssel tatsächlich gehört). Das System prüft das Passwort nicht durch komplexe Mathematik vor Ort; stattdessen prüft es, ob das Passwort mit einer geheimen Liste übereinstimmt, die sicher auf dem Server gespeichert ist. Dies macht es einem Dieb viel schwerer, einen Schlüssel vorzutäuschen, selbst wenn er die gesamte Passwortliste stiehlt, da die Liste so verschlüsselt ist, dass sie nicht rückgängig gemacht werden kann.

Der spannendste Teil des Papers ist, wie es ein schwieriges Problem namens Concurrency (Nebenläufigkeit) löst. Stellen Sie sich vor, zwei Personen versuchen, denselben Generalschlüssel zur exakt gleichen Zeit zu benutzen. In vielen aktuellen Systemen führt diese Verwirrung dazu, dass das Schloss bricht, was zwei gültige Schlüssel anstelle von nur einem erzeugt, was bedeutet, dass die Regel „ändere den Schlüssel“ überhaupt nicht mehr funktioniert. NEBULA löst dies mit einer strikten „Compare-and-Set“-Regel: Das System prüft: „Ist dieser Schlüssel noch aktiv?“ und ändert ihn nur, wenn die Antwort ja lautet. Wenn zwei Personen gleichzeitig versuchen, dies zu tun, gewinnt nur eine, und die andere wird höflich gebeten, es erneut zu versuchen. Dies verhindert, dass das System lautlos versagt.

Der Autor hat die Regeln nicht nur aufgeschrieben; er hat zehn verschiedene Versionen dieses Schlosses unter Verwendung von zehn verschiedenen Programmiersprachen (wie Python, Java und Rust) gebaut, um zu beweisen, dass sie alle exakt gleich funktionieren. Er erstellte eine riesige Testdatei mit 38 verschiedenen Szenarien – wie etwa „Was passiert, wenn das Internet langsam ist?“ oder „Was passiert, wenn jemand einen Schlüssel benutzt, der bereits geändert wurde?“ – und ließ sie auf allen zehn Versionen laufen. Das Ergebnis? Jede einzelne Version bestand jeden einzelnen Test.

Das Paper argumentiert, dass dieser Ansatz das Stehlen eines Refresh Tokens wesentlich weniger gefährlich macht. Wenn ein Dieb einen Schlüssel stiehlt, wird in dem Moment, in dem der rechtmäßige Besitzer ihn benutzt, der Schlüssel des Diebes unbrauchbar und das System alarmiert den Besitzer. Selbst wenn der Dieb versucht, den Schlüssel zuerst zu benutzen, bleibt er nur für eine sehr kurze Zeit eingeloggt, bevor der echte Besitzer auftaucht und ihn aussperrt. Das Paper stellt zudem fest, dass dieses System nicht auf komplexer Mathematik basiert, die zukünftige Supercomputer brechen könnten, und somit bereit für die Zukunft ist. Der Autor weist jedoch vorsichtig darauf hin, dass diese Garantien auf dem Design basieren und nicht maschinell verifiziert wurden, und er räumt explizit ein, dass kein System perfekt ist; zum Beispiel kann das System außer Kraft gesetzt werden, wenn der Server selbst kompromittiert wird.

Kurz gesagt: Bei NEBULA geht es nicht darum, eine neue Art von Magie zu erfinden; es geht darum, sich endlich genau darauf zu einigen, wie der Zaubertrick ausgeführt werden soll, damit man nicht versehentlich die Tür offen lässt. Es verwandelt eine vage Empfehlung in einen präzisen, getesteten und hochgradig robusten Standard, um unsere digitalen Identitäten sicher zu halten.