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

Stel je het internet voor als een enorme, bruisende stad waar je moet bewijzen wie je bent om verschillende gebouwen binnen te gaan. Meestal draag je een tijdelijke badge (een access token) die je voor een paar minuten binnenlaat. Als je langer wilt blijven, wissel je die badge voor een meestersleutel (een refresh token) die je telkens een nieuwe tijdelijke badge kan opleveren wanneer je dat nodig hebt. Dit systeem komt overal voor, van je favoriete sociale media-apps tot je bank. Maar hier zit de crux: die meestersleutel is ongelooflijk krachtig. Als een dief hem steelt, kan hij dagen of wekenlang doen alsof hij jij bent, terwijl hij stilletjes je gegevens steelt of je geld uitgeeft, zonder dat je het ook maar weet.

Om dit te stoppen, hebben beveiligingsexperts een regel: "Gebruik de sleutel niet alleen; vervang hem elke keer dat je hem gebruikt." Dit wordt rotatie genoemd. Het is alsof je een magisch slot hebt dat, elke keer dat je het omdraait, een gloednieuwe sleutel uitspuugt en de oude onmiddellijk vernietigt. Als een dief probeert een oude, vernietigde sleutel te gebruiken, zou het systeem moeten schreeuwen: "Hé! Iemand probeert een dode sleutel te gebruiken! Sluit alles af!" Echter, de huidige regelbundel voor dit systeem is meer een vage suggestie dan een strikte handleiding. Er staat: "Je zou de sleutels moeten veranderen," maar het legt niet precies uit hoe je het slot moet bouwen, wat je moet doen als twee mensen het slot op exact hetzelfde milliseconde proberen te draaien, of hoe je moet omgaan met het geval dat een bericht verloren gaat in de post. Vanwege deze vaagheid bouwen verschillende bedrijven hun sloten op verschillende manieren, en soms creëren die verschillen geheime achterdeurtjes waar dieven doorheen kunnen glippen zonder dat iemand het merkt.

Hier komt het papier NEBULA in beeld. De onderzoekers, onder leiding van Matteo Teodori, besloten te stoppen met gissen en een kristalheldere, stap-voor-stap instructiehandleiding te schrijven voor het bouwen van deze roterende sleutels. Ze creëerden een specificatie genaamd NEBULA, die een universele blauwdruk is voor een "magisch slot" dat op dezelfde manier werkt, ongeacht welke programmeertaal je gebruikt.

Het papier introduceert een nieuwe manier om over deze sleutels na te denken. In plaats van een enkele, complexe reeks code, splitst NEBULA de sleutel in twee delen: een Selector (een openbare ID-kaart die het systeem vertelt welk slot het moet bekijken) en een Verifier (een geheim wachtwoord dat bewijst dat je daadwerkelijk de sleutel bezit). Het systeem controleert het wachtwoord niet door ter plekke complexe wiskunde uit te voeren; in plaats daarvan controleert het of het wachtwoord overeenkomt met een geheime lijst die veilig op de server is opgeslagen. Dit maakt het veel moeilijker voor een dief om een sleutel te vervalsen, zelfs als hij de hele lijst met wachtwoorden steelt, omdat de lijst op een manier is versleuteld die niet kan worden teruggedraaid.

Het meest opwindende deel van het papier is hoe het een lastig probleem oplost genaamd concurrency (gelijktijdigheid). Stel je voor dat twee mensen tegelijkertijd dezelfde meestersleutel proberen te gebruiken. In veel huidige systemen zorgt deze verwarring ervoor dat het slot breekt, waardoor er twee geldige sleutels ontstaan in plaats van één, wat betekent dat de "verander de sleutel"-regel volledig niet meer werkt. NEBels lost dit op met een strikte "compare-and-set"-regel: het systeem controleert: "Is deze sleutel nog steeds actief?" en verandert het alleen als het antwoord "ja" is. Als twee mensen dit tegelijkertijd proberen, wint er slechts één, en krijgt de ander beleefd te horen het opnieuw te proberen. Dit voorkomt dat het systeem stilletjes kapotgaat.

De auteur heeft niet alleen de regels geschreven; hij heeft tien verschillende versies van dit slot gebouwd met tien verschillende programmeertalen (zoals Python, Java en Rust) om te bewijzen dat ze allemaal precies hetzelfde werken. Hij creëerde een gigantisch testbestand met 38 verschillende scenario's — zoals "wat gebeurt er als het internet traag is?" of "wat als iemand een sleutel probeert te gebruiken die al is gewisseld?" — en draaide deze op alle tien de versies. Het resultaat? Elke versie slaagde voor elke test.

Het artikel betoogt dat deze aanpak het stelen van een refresh token veel minder gevaarlijk maakt. Als een dief een sleutel steelt, wordt de sleutel van de echte eigenaar waardeloos op het moment dat de eigenaar de sleutel gebruikt, en waarschuwt het systeem de eigenaar. Zelfs als de dief de sleutel als eerste gebruikt, kan hij slechts voor een zeer korte tijd ingelogd blijven voordat de echte eigenaar verschijnt en hem buitensluit. Het papier merkt ook op dat, omdat dit systeem niet vertrouwt op complexe wiskunde die toekomstige supercomputers zouden kunnen breken, het klaar is voor de toekomst. De auteur is echter voorzichtig en merkt op dat deze garanties zijn onderbouwd op basis van het ontwerp, en niet machine-geverifieerd, en erkent expliciet dat geen enkel systeem perfect is; bijvoorbeeld, als een server zelf gecompromitteerd wordt, kan het systeem worden verslagen.

Kortom, NEBULA gaat niet over het uitvinden van een nieuw type magie; het gaat over het eindelijk overeenkomen over de exacte manier waarop de goocheltruc uitgevoerd moet worden, zodat niemand per ongeluk de deur open laat staan. Het verandert een vage suggestie in een precieze, geteste en zeer robuuste standaard voor het veilig houden van onze digitale identiteiten.