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

Immaginate l'internet come una città enorme e frenetica dove, per entrare in diversi edifici, è necessario dimostrare chi siete. Di solito, portate con voi un distintivo temporaneo (un access token) che vi permette di entrare per alcuni minuti. Se avete bisogno di restare più a lungo, potete scambiare quel distintivo con una chiave maestra (un refresh token) che può ottenere un nuovo distintivo temporaneo ogni volta che ne avete bisogno. Questo sistema è ovunque, dalle vostre app di social media preferite alla vostra banca. Ma ecco il problema: quella chiave maestra è incredibilmente potente. Se un ladro la ruba, può fingere di essere voi per giorni o settimane, rubando silenziosamente i vostri dati o spendendo i vostri soldi, mentre voi non ne avete idea.

Per impedire questo, gli esperti di sicurezza hanno una regola: "Non limitarti a usare la chiave; cambiala ogni volta che la usi". Questo è chiamato rotazione. È come avere una serratura magica che, ogni volta che la giri, sputa fuori una chiave completamente nuova e distrugge istantaneamente quella vecchia. Se un ladro prova a usare la vecchia chiave distrutta, il sistema dovrebbe urlare: "Ehi! Qualcuno sta cercando di usare una chiave morta! Blocca tutto!". Tuttavia, l'attuale libro delle regole per questo sistema è più simile a un vago suggerimento che a un manuale rigoroso. Dice: "Dovresti cambiare le chiavi", ma non spiega esattamente come costruire la serratura, cosa fare se due persone provano a girare la serratura nello stesso identico millisecondo, o come gestire il caso in cui un messaggio vada perso nella posta. A causa di questa vaghezza, diverse aziende costruiscono le loro serrature in modi differenti e, a volte, queste differenze creano falle segrete attraverso le quali i ladri possono scivolare via senza che nessuno se ne accorga.

È qui che entra in gioco il documento NEBULA. I ricercatori, guidati da Matteo Teodori, hanno deciso di smettere di tirare a indovinare e hanno scritto un manuale di istruzioni chiaro e passo dopo passo per costruire queste chiavi rotanti. Hanno creato una specifica chiamata NEBULA, che è come un progetto universale per una "serratura magica" che funziona allo stesso modo indipendentemente dal linguaggio di programmazione utilizzato.

Il documento introduce un nuovo modo di pensare a queste chiavi. Invece di una singola e complessa stringa di codice, NEBULA divide la chiave in due parti: un Selector (un tesserino d'identità pubblico che dice al sistema quale serratura cercare) e un Verifier (una password segreta che prova che possiate effettivamente la chiave). Il sistema non controlla la password eseguendo calcoli matematici complessi sul momento; invece, controlla se la password corrisponde a una lista segreta conservata in sicurezza sul server. Questo rende molto più difficile per un ladro falsificare una chiave, anche se ruba l'intera lista di password, perché la lista è criptata in un modo che non può essere invertito.

La parte più eccitante del documento è come risolve un problema complicato chiamato concorrenza. Immaginate due persone che provano a usare la stessa chiave maestra nello stesso istante. In molti sistemi attuali, questa confusione causa la rottura della serratura, creando due chiavi valide invece di una, il che significa che la regola "cambia la chiave" smette di funzionare completamente. NEBULA risolve questo problema con una regola rigorosa di "compare-and-set": il sistema controlla: "Questa chiave è ancora attiva?" e la cambia solo se la risposta è sì. Se due persone provano a farlo contemporaneamente, solo una vince e l'altra viene gentilmente istruita a riprovare. Questo evita che il sistema si rompa silenziosamente.

L'autore non si è limitato a scrivere le regole; ha costruito dieci diverse versioni di questa serratura utilizzando dieci diversi linguaggi di programmazione (come Python, Java e Rust) per dimostrare che funzionano tutti esattamente allo stesso modo. Ha creato un enorme file di test con 38 scenari diversi — come "cosa succede se internet è lento?" o "cosa succede se qualcuno prova a usare una chiave che è già stata cambiata?" — ed ha eseguito i test su tutte e dieci le versioni. Il risultato? Ogni singola versione ha superato ogni singolo test.

Il documento sostiene che questo approccio rende il furto di un refresh token molto meno pericoloso. Se un ladro ruba una chiave, nel momento in cui il proprietario reale la utilizza, la chiave del ladro diventa inutile e il sistema avvisa il proprietario. Anche se il ladro prova a usare la chiave per primo, potrà rimanere connesso solo per un tempo molto breve prima che il proprietario reale lo blocchi fuori. Il documento nota anche che, poiché questo sistema non si affida a calcoli matematici complessi che i futuri supercomputer potrebbero violare, è pronto per il futuro. Tuttavia, l'autore è attento a sottolineare che queste garanzie sono argomentate in base al design, non verificate dalla macchina, e riconosce esplicitamente che nessun sistema è perfetto; ad esempio, se un server stesso viene compromesso, il sistema può essere sconfitto.

In breve, NEBULA non riguarda l'invenzione di un nuovo tipo di magia; riguarda il concordare finalmente su come l'esecuzione del trucco magico debba avvenire, affinché nessuno lasci accidentalmente la porta aperta. Trasforma un vago suggerimento in uno standard preciso, testato e altamente robusto per mantenere sicure le nostre identità digitali.