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

Nel mondo digitale, la sicurezza dei nostri segreti si affida a serrature matematiche incredibilmente difficili da scassinare. Per decenni, gli esperti hanno cercato di misurare la forza di queste serrature con un singolo numero, solitamente espresso come un certo numero di "bit". Questo numero dovrebbe indicare quanto sforzo, in termini di tempo e potenza di calcolo, un attaccante dovrebbe impiegare per rompere il codice. Tuttavia, questo singolo numero nasconde una complicazione cruciale: il valore dipende interamente da come decidiamo di contare tale sforzo. Se consideriamo la memoria del computer come gratuita, una serratura potrebbe sembrare molto forte. Se decidiamo che la memoria è costosa da usare, quella stessa serratura potrebbe improvvisamente apparire debole. Diverse organizzazioni, come gli enti che stabiliscono gli standard governativi e le agenzie di sicurezza, utilizzano modi diversi per contare questi costi. Quando lo fanno, finiscono spesso per ottenere risposte diverse su quale serratura sia più sicura, portando alla confusione su quali sistemi fidarsi e quando passare a quelli nuovi.

Uno studio recente introduce un framework chiamato GAUGE, che cambia il modo in cui guardiamo a questo problema. Invece di forzare ogni sistema di sicurezza in un unico numero rigido, i ricercatori trattano la sicurezza come un profilo flessibile che cambia a seconda delle regole del gioco. Immaginate una mappa dove il terreno cambia forma in base al prezzo delle risorse; un percorso che appare sicuro sotto certi prezzi potrebbe diventare pericoloso sotto altri. Mappando interi questi paesaggi, il team può vedere esattamente dove e perché diverse sistemi di sicurezza si incrociano. Hanno scoperto che per molte delle nuove serrature avanzate, preparate per il futuro, la risposta a "quale sia la più sicura?" non è un fatto semplice. È una domanda che dipende interamente dal metodo di contabilità che scegliete di adottare.

I ricercatori hanno applicato questo nuovo metodo agli ultimi standard crittografici, specificamente quelli progettati per resistere agli attacchi di futuri computer quantistici. Hanno preso un sistema specifico, ampiamente utilizzato, chiamato ML-KM e lo hanno confrontato con un sistema classico e ben conosciuto, l'AES. Sotto le regole standard utilizzate dal NIST (National Institute of Standards and Technology) degli Stati Uniti, che contano solo il tempo necessario per eseguire un attacco, il nuovo sistema appariva leggermente più debole rispetto al classico. Tuttavia, quando i ricercatori hanno regolato le regole per includere il costo della memoria — un fattore che alcune agenzie di sicurezza europee considerano critico — il nuovo sistema è apparso improvvisamente molto più forte. Lo studio ha dimostrato che un minuscolo spostamento nel modo in cui la memoria viene prezzata, una differenza di appena il 4,5% del suo valore rispetto al tempo, è sufficiente a ribaltare completamente la classifica. Questo non è un errore o un errore di calcolo; è un fatto geometrico fondamentale su come questi sistemi si comportano. I ricercatori hanno dimostrato che nessun singolo numero perfetto potrà mai catturare la verità per tutti, perché i sistemi si incrociano realmente a seconda della prospettiva.

Per risolvere il problema del prendere decisioni quando la risposta dipende dalla propria prospettiva, il team ha sviluppato un modo per classificare queste relazioni. Hanno creato un sistema che può dirvi se una serratura è strettamente migliore di un'altra indipendentemente dalle regole, se è migliore solo sotto specifiche condizioni, o se le due sono semplicemente incomparabili perché si incrociano. Per le nuove serrature resistenti ai quanti, lo studio ha scoperto che sono spesso incomparabili ai loro omologhi classici. Ciò significa che scegliere l'una o l'altra non è una questione di trovare la serratura oggettivamente più forte, ma piuttosto una scelta consapevole su quale modello di costo si voglia fidare. Lo studio fornisce un certificato matematico che può verificare questi incroci, permettendo agli organismi di standardizzazione di vedere esattamente dove risiedono i loro disaccordi e di comprendere che entrambi i lati possono essere matematicamente corretti all'interno dei propri quadri di riferimento scelti.

Oltre a confrontare le serrature, il framework aiuta nella pianificazione del futuro. I ricercatori hanno esaminato la storia di quanto velocemente gli hacker siano migliorati nella loro capacità di rompere i codici negli ultimi vent'anni. Hanno scoperto che per certi tipi di problemi matematici, lo sforzo richiesto per romperli è diminuito di quasi dieci bit di sicurezza ogni anno per un periodo specifico. Utilizzando questi dati, hanno costruito un modello di rischio che separa l'incertezza di "quanto velocemente miglioreranno gli hacker" dall'incertezza di "quale modello di costo sia giusto". Ciò consente alle organizzazioni di calcolare per quanto tempo possono mantenere un segreto in sicurezza. Ad esempio, se un'azienda deve proteggere un documento per cinque anni, lo studio suggerisce una strategia specifica per mescolare vecchie e nuove serrature per minimizzare il rischio. Ma se devono proteggerlo per trent'anni, la matematica mostra che la stessa strategia potrebbe essere insufficiente, richiedendo un passaggio molto più anticipato alla nuova tecnologia.

Lo studio ha anche testato queste idee su simulazioni di hardware reale per garantire che le misurazioni fossero accurate. Hanno eseguito esperimenti su un computer quantistico simulato per vedere come il costo di rompere un codice cambi quando si contano i gate fisici della macchina rispetto al tempo impiegato. La simulazione ha confermato che l'ordine di sicurezza può effettivamente invertirsi a seconda di come si conta, convalidando le previsioni teoriche. I ricercatori hanno impacchettato tutti i loro strumenti, dati e passaggi di verifica in un set di strumenti pubblico che può riprodurre ogni tabella e risultato in meno di sette secondi. Questa trasparenza assicura che i risultati non siano solo un esercizio teorico, ma uno strumento pratico che chiunque può usare per auditare le affermazioni di sicurezza.

In definitiva, questo lavoro non ci dice quale sia la serratura migliore. Invece, ci dà un modo migliore per porre la domanda. Rivela che il dibattito tra diverse agenzie di sicurezza è spesso non su chi abbia ragione o torto, ma su quale versione della realtà stiano misurando. Rendendo esplicite le regole del gioco, il framework permette ai decisori politici e agli ingegneri di vedere l'immagine completa. Possono ora capire che un disaccordo sui livelli di sicurezza è spesso un disaccordo su come dare valore alle risorse, e possono prendere le loro decisioni con questa consapevolezza in mente. Il risultato è una conversazione più chiara e onesta sulla sicurezza digitale, dove l'incertezza non è nascosta dietro un singolo numero, ma è esposta chiaramente per tutti.