Sintesi Tecnica: Proof-of-Continuity: Un Modello Temporale per la Propagazione dell'Autorità in Sistemi Distribuiti e Agenti AI

1. Definizione del Problema

Il documento identifica un limite fondamentale negli attuali modelli di autorizzazione, specificamente nei modelli Proof-of-Possession (PoP) e nei sistemi basati su capability, quando applicati a catene di esecuzione discrete e multi-hop (ad esempio, servizi distribuiti, invocazioni di strumenti da parte di agenti AI).

Nei modelli PoP, l'autorità deriva dal possesso di artefatti (token, credenziali, capability). Sebbene questi modelli riescano a vincolare chi può presentare un artefatto, non riescono a garantire che l'autorità esercitata in una fase successiva sia una continuazione causale del contesto di autorità stabilito all'origine della richiesta.

Questa lacuna porta al problema del Confused Deputy (delegato confuso) in contesti distribuiti. Un delegato (esecutore) può detenere molteplici fonti di autorità (privilegi ambientali, token delegati, credenziali bearer). Se il delegato elabora una richiesta e, in base ai parametri della richiesta stessa, esercita un privilegio che possiede ma che non faceva parte del contesto di autorità d'origine della richiesta, si verifica una violazione della sicurezza. Il delegato è "confuso" perché esegue un'azione causamente innescata da un utente che non aveva l'autorità per compiere tale azione, sebbene il delegato possedesse il privilegio necessario in modo indipendente.

Il documento sostiene che i modelli basati sul possesso sono invarianti rispetto alla linea temporale (lineage-invariant): trattano un evento $(o, r)$ (operazione $o$ su risorsa $r$) come valido esclusivamente in base al possesso del privilegio, ignorando la linea temporale $\ell$ che ha prodotto l'evento. Di conseguenza, non possono distinguere tra una valida continuazione di una linea temporale autorizzata e un'esecuzione non autorizzata che, pur avendo la stessa capacità, non appartiene a quella linea.

2. Metodologia e Definizione del Modello

Gli autori introducono il modello Provenance Identity Continuity (PIC) e la disciplina Proof-of-Continuity (PoC) per affrontare questa lacuna temporale.

Formalismo Centrale

• Catena di Esecuzione: L'esecuzione è modellata come una catena causale di passi $\pi = \langle (s_0, C_0), (s_1, C_1), \dots, (s_n, C_n) \rangle$, dove $s_i$ è un passo e $C_i$ è il contesto di autorità (un sottoinsieme di privilegi $O \times R$) trasportato in quel passo.
• Proof of Relationship (PoR): Un primitivo causale a singolo salto (single-hop). $PoR(s_i, s_{i+1})$ afferma che il passo $s_{i+1}$ è una valida continuazione causale di $s_i$ all'interno della stessa linea temporale.
• Restrizione Monotona dell'Autorità: Una transizione valida richiede che il contesto di autorità al passo successivo sia un sottoinsieme del passo corrente: $C_{i+1} \subseteq C_i$. L'autorità può solo essere attenuata (ristretta), mai espansa.
• Proof of Continuity (PoC): Definita come la composizione transitiva di PoR e della restrizione monotona attraverso l'intera catena. $PoC(\pi)$ è soddisfatta se ogni transizione adiacente è valida.

Framework Teorico

Il documento formalizza la distinzione tra Possesso e Continuità utilizzando un argomento di proiezione:

• Policy basate sul possesso: sono definite come funzioni invarianti rispetto alla linea temporale: $A(o, r, \ell) = \bar{A}(o, r)$. Esse proiettano lo spazio degli eventi $E = O \times R \times L$ su $O \times R$, scartando la coordinata della linea temporale $L$.
• Teorema 3: Le policy invarianti rispetto alla linea temporale non possono individuare le occorrenze. Due eventi con identici privilegi ma diverse linee temporali (uno autorizzato, uno vittima di un "confused deputy") ricevono lo stesso verdetto di autorizzazione.
• Teorema 5 (Compromesso): Un sistema non può soddisfare simultaneamente:
  1. Autorizzazione invariante rispetto alla linea temporale.
  2. Delega capace di miscelazione di autorità (esecutori che detengono fonti di autorità indipendenti).
  3. Sicurezza contro il "confused deputy".
     Per garantire la sicurezza in sistemi che richiedono la miscelazione di autorità, il modello deve rinunciare all'invarianza rispetto alla linea temporale, rendendo l'autorizzazione sensibile alla linea temporale (lineage-sensitive).

3. Contributi Chiave

1. Proof-of-Continuity (PoC): Una disciplina minima di propagazione dell'autorità in cui l'autorità è definita non come una proprietà statica di un'entità, ma come una propriità temporale di una catena di esecuzione. L'autorità esiste solo come una continuazione non espansiva del contesto d'origine.
2. Formalizzazione del Confused Deputy come Discrepanza di Linea Temporale: Il documento riformula il "confused deputy" non solo come una separazione tra designazione e autorità (la visione spaziale delle capability), ma come una collisione di distinte linee temporali sotto una proiezione che dimentica il tempo.
3. Risultati di Impossibilità:
   • Teorema 3: Dimostra che il possesso invariante rispetto alla linea temporale non può distinguere tra continuazioni valide ed esecuzioni di tipo "confused deputy".
   • Teorema 6: Dimostra che sotto il modello PIC, la condizione di "confused deputy" è impossibile da soddisfare come comportamento valido. Se un privilegio è assente dal contesto d'origine $C_0$, non può apparire in alcun contesto successivo $C_n$ all'interno di una catena PoC valida.
4. Distinzione dei Primitivi: Chiarisce i ruoli di:
   • Proof-of-Possession: Dimostra il controllo su un artefatto.
   • Proof-of-Relationship: Dimostra il legame causale tra passi adiacenti.
   • Proof-of-Continuity: Dimostra la propagazione dell'autorità senza espansione attraverso l'intera linea temporale.

4. Risultati e Garanzie di Sicurezza

Il risultato principale è la sicurezza del modello PIC. Sotto la Proof-of-Continuity:

• Autorità Vincolata all'Origine: Qualsiasi privilegio esercitato al salto $n$ deve essere stato presente nel contesto di autorità d'origine $C_0$.
• Attenuazione Irreversibile: Se un privilegio viene rimosso al passaggio $j$ (ovvero, non è incluso in $C_j$), esso è perso per sempre e non può riapparire in alcun passaggio successivo $k > j$.
• Eliminazione del Confused Deputy: Il modello impedisce strutturalmente la condizione di "confused deputy". Un esecutore non può esercitare un privilegio innescato da una richiesta se tale privilegio non era autorizzato nel contesto d'origine della richiesta, indipendentemente da quali altri privilegi l'esecutore possieda.

Il documento dimostra che questa sicurezza è ottenuta rinunciando all'invarianza rispetto alla linea temporale. Le decisioni di autorizzazione devono leggere la coordinata della linea temporale (tramite l'evidenza PoR) per determinare se un'azione è una valida continuazione della richiesta originaria.

5. Significato e Ambito

Il documento posiziona la Proof-of-Continuity come un raffinamento di modellazione piuttosto che un sostituto dei meccanismi esistenti come OIDC, wallet o bearer token.

• Complementarità: I meccanismi di identità e autenticazione rimangono essenziali per stabilire l'origine. La PoC affronta come l'autorità si propaghi dopo che l'origine è stata stabilita.
• Rilevanza per gli Agenti AI: Il modello è esplicitamente evidenziato come critico per gli agenti AI, che spesso detengono molteplici fonti di autorità (credenziali di servizio, token utente, scope degli strumenti) ed eseguono catene di invocazioni di strumenti. La PoC garantisce che un agente non possa usare uno strumento per compiere un'azione (ad esempio, eliminare un file) se l'intento originale dell'utente (ad esempio, riassumere un documento) non autorizzava tale azione, anche se l'agente possiede indipendentemente il privilegio di eliminazione.
• Temporale vs Spaziale: Il documento sostiene che, mentre i modelli di capability risolvono il problema spaziale della designazione, spesso falliscono nel problema temporale della propagazione multi-hop, a meno che la capability non sia trattata come un artefatto posseduto (il che riporta al concetto di possesso). La PoC estende la garanzia "per costruzione" delle capability attraverso le linee temporali multi-hop, trattando l'autorità come un flusso continuo e non espansivo.

Il documento conclude che il "confused deputy" non è una vulnerabilità di runtime da patchare, ma un'impossibilità strutturale in una validità di esecuzione PIC. Il modello sposta l'onere dalla vigilanza a runtime a una disciplina in cui l'autorità è definita strettamente dalla sua storia causale.