Sintesi Tecnica: Sicurezza del Quoziente dell'Osservatore (Observer-Quotient Security)

Definizione del Probleamento

Le moderne asserzioni di sicurezza crittografica sono fondamentalmente affermazioni riguardanti le osservazioni. Due esecuzioni di sistema possono differire internamente (nel loro stato grezzo $X$) pur rimanendo indistinguibili per una specifica classe di osservatori. Tuttavia, questa indistinguibilità è fragile: può fallire se la classe di osservatori viene raffinata (ad esempio, aggiungendo canali laterali di temporizzazione, cache, potenza o elettromagnetici) o se il sistema subisce "continuazioni nascoste" (hidden continuations): transizioni di stato interno che preservano il trascritto pubblico attuale ma alterano lo stato in un modo che potrebbe essere sfruttato da osservazioni future, sessioni ripetute o post-elaborazione.

Il problema centrale affrontato è la mancanza di un quadro unificato che tratti l'indistinguibilità crittografica, la fuga di informazioni (leakage) tramite canali laterali e l'osservabilità della teoria del controllo sotto un'unica struttura geometrica e algebrica. Le definizioni esistenti spesso assumono un modello di osservatore fisso; quando tale modello cambia (ad esempio, aggiungendo un canale laterale), le prove spesso si interrompono senza un meccanio chiaro per quantificare la perdita di informazioni risultante o per progettare sensori che la mitigano.

Metodologia

Il documento formalizza la Sicurezza del Quoziente dell'Osservatore definendo lo spazio di stato della sicurezza non come lo stato di implementazione grezzo $X$, ma come il quoziente dell'osservatore $X/\Pi$, dove $\Pi$ è una classe di canali di osservazione ammissibili.

Costrutti Matematici Core

1. Quoziente dell'Osservatore e Pseudometrica: Il documento definisce una pseudometrica $d_\Pi(x, x')$ basata sulla distanza di variazione totale tra le distribuzioni di output di tutti gli osservatori in $\Pi$. Gli stati $x, x'$ sono equivalenti ($x \equiv_\Pi x'$) se $d_\Pi(x, x') = 0$. Lo spazio quoziente $X/\Pi$ rappresenta lo spazio di stato "visibile".
2. Continuazioni Nascoste (Hidden Continuations): Una transizione $T(x)$ è una continuazione nascosta se $T(x) \neq x$ ma $T(x) \equiv_\Pi x$. Queste sono variazioni di stato interno invisibili alla classe di osservatori corrente.
3. Giochi di Sicurezza Interattivi: Il framework introduce giochi interattivi con identificatori di sessione, inoltro di oracle, scheduler di osservatori adattivi e post-elaborazione. La definizione di sicurezza è un teorema Real/Ideal: un gioco reale $G$ emula una funzionalità di quoziente ideale $F_{\Pi, B}$ se il vantaggio di distinzione dell'avversario è limitato dalla somma di specifici termini di "difetto".
4. Funzionali di Confine e Dissipatività: Per gestire l'evoluzione temporale e il rumore, il documento introduce funzionali di confine scalari $B_\Pi$ e condizioni di dissipatività stocastica. Ciò consente al sistema di dimostrare che il "pavimento di perdita" (il residuo di vantaggio di distinzione) converga a zero o rimanga limitato, anche in presenza di rumore persistente o deriva dell'implementazione.

Strategia di Dimostrazione

Il teorema principale Real/Ideal è dimostrato tramite una sequenza ibrida completamente indicizzata. La dimostrazione decompone il gap di sicurezza in termini di difetti nominati:

• Difetti dell'osservatore: Fallimento dell'osservatore nel distinguere gli stati all'interno di una classe di quoziente.
• Difetti del kernel: Fallimento del kernel di transizione nel essere compatibile con il quoziente (ovvero, nel separare stati equivalenti in distribuzioni future distinguibili).
• Difetti di post-elaborazione: Fallimento della famiglia di osservatori nel essere chiusa sotto trasformazioni ammissibili.
• Difetti del Simulatore/Interfaccia: Errori nella mappatura dell'interfaccia reale alla funzionalità di quoziente ideale.
• Termini Statistici/Residuali: Limiti derivati dalla dissipatività stocastica e dalle mappature tra confine e vantaggio.

Contributi Chiave

1. Definizione Formale dei Giochi di Sicurezza del Quoziente dell'Osservatore: Il documento definisce una struttura di gioco completa che include identificatori di sessione, scheduler adattivi e funzionalità di quoziente ideali. Stabilisce una pseudometrica sugli stati indotta dalla classe di osservatori, rendendo il "modello di osservatore" un parametro esplicito del teorema di sicurezza.
2. Teorema Real/Ideal Composizionale: Fornisce un teorema che limita il vantaggio di distinzione degli ambienti adattivi. Il limite è una somma di termini espliciti e nominati (osservatore, kernel, post-elaborazione, simulatore, statistico e residuale), consentendo un'analisi modulare di sistemi complessi.
3. Istanze Computazionali: Il framework è istanziato per scenari crittografici concreti:
   • IND-CPA con Leakage di Temporizzazione: Un teorema che limita il vantaggio basandosi sulla sicurezza ciphertext-only più parametri di confine di temporizzazione espliciti e rumore di profilazione.
   • Cifratura Deterministica: Un approccio basato su ledger che traccia il consumo di entropia rispetto alla dimensione dell'alfabeto e al massimo di informazione fluida (smooth max-information) filtrata.
   • Cifratura Autenticata con Refresh del Nonce: Un'analisi di macchina a stati che traccia collisioni di nonce e deriva dello stato di perdita.
4. Interpretazione e Sintesi della Teoria del Controllo: Il documento unisce crittografia e teoria del controllo. Interpreta il raffinamento dell'osservatore come riprogettazione del sensore e le continuazioni nascoste come elementi di un kernel di osservabilità. Formula la progettazione dell'osvento come un problema di ottimizzazione (ad esempio, minimizzare la perdita soggetta a vincoli di utilità e costo) e fornisce le condizioni KKT per la selezione rilassata dei sensori.
5. Verifica Algoritmica per Sistemi Finiti: Il documento presenta algoritmi costruttivi per macchine a stati finiti per calcolare le firme dell'osservatore, verificare la compatibilità del quoziente e raffinare le partizioni fino a raggiungere un quoziente stabile. Ciò consente il rilevamento automatizzato della "perdita ritardata" dove gli stati sono equivalenti ora ma distinguibili in seguito.

Risultati e Rivendicazioni

Il documento afferma che il suo framework unifica tre domini precedentemente distinti:

• Indistinguibilità Crittografica: L'IND-CPA standard viene recuperata come un caso speciale in cui la classe di osservatori è limitata ai trascritti.
• Analisi dei Canali Laterali (Side-Channel Analysis): Il framework modella esplicitamente come l'aggiunta di un canale latero (raffinando $\Pi$) renda più grossolano il quoziente, potenzialmente invalidando le prove precedenti. Fornisce un metodo per quantificare il "pavimento di perdita" causato da rumore persistente o deriva dell'implementazione.
• Controllo Resiliente: Collega la sicurezza all'osservabilità. Un "attacco furtivo" è definito come una sequenza di input che sposta il sistema attraverso il kernel dell'osservatore. Il documento dimostra come l'aggiunta di righe di sensori (raffinando l'osservatore) riduca la dimensione del kernel e abbassi il limite del vantaggio residuale.

Il documento dimostra che le continuazioni nascoste sono innocue solo se la dinamica del quoziente è compatibile (ovvero, il kernel di transizione mappa stati equivalenti in distribizioni future equivalenti). Se il kernel è incompatibile, o se la classe di osservatori viene raffinata successivamente, lo stato nascosto può essere esposto.

Significato

Il documento sostiene che le asserzioni di sicurezza sono intrinsecamente relative alla classe di osservatori. Una prova valida per un osservatore limitato al solo trascritto non è automaticamente valida per un osservatore che considera anche la temporizzazione. La significanza di questo lavoro risiede in:

1. Esplicitezza: Forza la dichiarazione esplicita della classe di osservatore, dell'orizzonte e del modello di avversario, prevenendo assunzioni "implicite" che portano a fallimenti di sicurezza.
2. Modularità: Decomponendo i limiti di sicurezza in termini di difetti nominati, permette ai progettisti di sistema di isolare la fonte di un fallimento di sicurezza (ad esempio, se si tratti di un'incompatibilità del kernel o di un problema di post-elaborazione).
3. Integrazione della Progettazione: Fornisce un linguaggio matematico per scambiare il costo della misurazione con l'utilità e la perdita di informazioni. Invece di trattare la mitigazione dei canali laterali come un elemento aggiunto a posteriori, lo inquadra la progettazione dei sensori e il controllo della perdita come un problema di ottimizzazione sul quoziente dell'osservatore.
4. Residuali Quantitativi: Va oltre gli stati binari qualitativi "sicuro/insicuro" per fornire limiti quantitativi sul "vantaggio residuale" o sul "pavimento di perdita" in presenza di rumore e deriva, offrendo una valutazione più realistica della sicurezza a lungo termine.

Il documento conclude che il "gap" tra l'uguaglianza dello stato grezzo e l'uguaglianza dell'osservatore è il luogo in cui vivono le continuazioni nascoste. La sicurezza non si mantiene garantendo che gli stati grezzi siano identici, ma assicurando che le dinamiche del quoziente siano compatibili e che il funzionale di confine (che rappresenta il gap di perdita) sia portato a zero o a un pavimento trascurabile.