Resumo Técnico: Proof-of-Continuity: Um Modelo Temporal para Propagação de Autoridade em Sistemas Distribuídos e Agentes de IA

1. Declaração do Problema

O artigo identifica uma limitação fundamental nos modelos de autorização atuais, especificamente o Proof-of-Possession (PoP) e os sistemas baseados em capacidades, quando aplicados a cadeias de execução discretas e de múltiplos saltos (ex: serviços distribuídos, invocações de ferramentas por agentes de IA).

Nos modelos PoP, a autoridade é derivada da posse de artefatos (tokens, credenciais, capacidades). Embora esses modelos restrinjam efetivamente quem pode apresentar um artefato, eles falham em garantir que a autoridade exercida em uma etapa posterior seja uma continuação causal do contexto de autoridade estabelecido na origem da requisição.

Essa lacuna leva ao problema do Deputado Confuso (Confused Deputy) em contextos distribuídos. Um deputado (executor) pode deter múltiplas fontes de autoridade (privilégios ambientes, tokens delegados, credenciais de portador). Se o deputado processa uma requisição e, com base nos parâmetros dessa requisição, exerce um privilégio que possui, mas que não fazia parte do contexto de autoridade de origem da requisição, ocorre uma violação de segurança. O deputado está "confuso" porque executa uma ação causalmente disparada por um usuário que não possuía autoridade para causar tal ação, embora o deputado possuísse o privilégio necessário de forma independente.

O artigo argumenta que os modelos baseados em posse são invariantes de linhagem: eles tratam um evento $(o, r)$ (operação $o$ no recurso $r$) como válido unicamente com base na posse do privilégio, ignorando a linhagem temporal $\ell$ que produziu o evento. Consequentemente, eles não conseguem distinguir entre uma continuação válida de uma linhagem autorizada e uma execução não autorizada que meramente possui o mesmo privilégio.

2. Metodologia e Definição do Modelo

Os autores introduzem o modelo de Provenance Identity Continuity (PIC) e a disciplina Proof-of-Continuity (PoC) para abordar essa lacuna temporal.

Formalismo Central

• Cadeia de Execução: A execução é modelada como uma cadeia causal de etapas $\pi = \langle (s_0, C_0), (s_1, C_1), \dots, (s_n, C_n) \rangle$, onde $s_i$ é uma etapa e $C_i$ é o contexto de autoridade (um subconjunto de privilégios $O \times R$) carregado nessa etapa.
• Proof of Relationship (PoR): Um primitivo causal de salto único. $PoR(s_i, s_{i+1})$ afirma que a etapa $s_{i+1}$ é uma continuação causal válida de $s_i$ dentro da mesma linhagem.
• Restrição de Autoridade Monotônica: Uma transição válida exige que o contexto de autoridade na etapa seguinte seja um subconjunto da etapa atual: $C_{i+1} \subseteq C_i$. A autoridade só pode ser atenuada (restrita), nunca expandida.
• Proof of Continuity (PoC): Definida como a composição transitiva de PoR e restrição monotônica através de toda a cadeia. $PoC(\pi)$ é verdadeiro se cada transição adjacente for válida.

Estrutura Teórica

O artigo formaliza a distinção entre Posse e Continuidade usando um argumento de projeção:

• Políticas baseadas em posse são definidas como funções invariantes de linhagem: $A(o, r, \ell) = \bar{A}(o, r)$. Elas projetam o espaço de eventos $E = O \times R \times L$ sobre $O \times R$, descartando a coordenada de linhagem $L$.
• Teorema 3: Políticas invariantes de linhagem não conseguem individuar ocorrências. Dois eventos com privilégios idênticos, mas linhagens diferentes (uma continuação válida e um deputado confuso), recebem o mesmo veredito de autorização.
• Teorema 5 (Trade-off): Um sistema não pode satisfazer simultaneamente:
  1. Autorização invariante de linhagem.
  2. Delegação capaz de mistura de autoridade (executores detendo fontes de autoridade independentes).
  3. Segurança contra o deputado confuso.
     Para garantir a segurança em sistemas que exigem mistura de autoridade, o modelo deve renunciar à invariância de linhagem, tornando a autorização sensível à linhagem.

3. Principais Contribuições

1. Proof-of-Continuity (PoC): Uma disciplina mínima de propagação de autoridade onde a autoridade é definida não como uma propriedade estática de uma entidade, mas como uma propriedade temporal de uma cadeia de execução. A autoridade existe apenas como uma continuação não expansiva do contexto de origem.
2. Formalização do Deputado Confuso como um Descompasso de Linhagem: O artigo reformula o deputado confuso não apenas como uma separação de designação e autoridade (a visão espacial das capacidades), mas como uma colisão de linhagens distintas sob uma projeção que esquece o tempo.
3. Resultados de Impossibilidade:
   • Teorema 3: Prova que a posse invariante de linhagem não pode distinguir entre continuações válidas e execuções de deputado confuso.
   • Teorema 6: Prova que, sob o modelo PIC, a condição de deputado confuso é impossível de ser satisfeita como comportamento válido. Se um privilégio está ausente do contexto de origem $C_0$, ele não pode aparecer em qualquer contexto subsequente $C_n$ dentro de uma cadeia PoC válida.
4. Distinção de Primitivos: Esclarece os papéis de:
   • Proof-of-Possession: Prova o controle sobre um artefato.
   • Proof-of-Relationship: Prova o vínculo causal entre etapas adjacentes.
   • Proof-of-Continuity: Prova a propagação de autoridade sem expansão através de toda a linhagem.

4. Resultados e Garantias de Segurança

O principal resultado é a segurança do modelo PIC. Sob o Proof-of-Continuity:

• Autoridade Limitada pela Origem: Qualquer privilégio exercido no salto $n$ deve ter estado presente no contexto de autoridade de origem $C_0$.
• Atenuação Irreversível: Se um privilégio é descartado em qualquer salto $j$ (ou seja, não é incluído em $C_j$), ele é perdido para sempre e não pode reaparecer em qualquer salto posterior $k > j$.
• Eliminação do Deputado Confuso: O modelo impede estruturalmente a condição do deputado confuso. Um executor não pode exercer um privilégio disparado por uma requisição se esse privilégio não foi autorizado no contexto de origem da requisição, independentemente de quais outros privilégios o executor possua.

O artigo demonstra que essa segurança é alcançada ao renunciar à invariância de linhagem. As decisões de autorização devem ler a coordenada de linhagem (via evidência de PoR) para determinar se uma ação é uma continuação válida da requisição causadora.

5. Significância e Escopo

O artigo posiciona o Proof-of-Continuity como um refinamento de modelagem e não como um substituto para mecanismos existentes como OIDC, carteiras ou tokens de portador.

• Complementaridade: Mecanismos de identidade e autenticação permanecem essenciais para estabelecer a origem. O PoC aborda como a autoridade se propaga após a origem ser estabelecida.
• Relevância para Agentes de IA: O modelo é explicitamente destacado como crítico para agentes de IA, que frequentemente detêm múltiplas fontes de autoridade (credenciais de serviço, tokens de usuário, escopos de ferramentas) e executam cadeias de invocações de ferramentas. O PoC garante que um agente não possa usar uma ferramenta para realizar uma ação (ex: deletar um arquivo) se a intenção original do usuário (ex: resumir um documento) não autorizou tal ação, mesmo que o agente possua o privilégio de deletar de forma independente.
• Temporal vs. Espacial: O artigo argumenta que, enquanto modelos de capacidade resolvem o problema espacial de designação, eles frequentemente falham no problema temporal de propagação multi-salto, a menos que a capacidade seja tratada como um artefato detido (o que retorna à posse). O PoC estende a garantia "por construção" das capacidades através de múltiplas linhagens de saltos, tratando a autoridade como um fluxo contínuo e não expansivo.

O artigo conclui que o deputado confuso não é uma vulnerabilidade de tempo de execução a ser corrigida, mas uma impossibilidade estrutural em uma execução PIC válida. O modelo transfere o ônus da vigilância em tempo de execução para uma disciplina onde a autoridade é definida estritamente pelo seu histórico causal.