Resumo Técnico: Segurança de Quociente de Observador

Declaração do Problema

As asserções de segurança criptográfica moderna são, fundamentalmente, afirmações sobre observações. Duas execuções de sistema podem diferir internamente (em seu estado bruto $X$) enquanto permanecem indistinguíveis para uma classe específica de observadores. No entanto, essa indistinguibilidade é frágil: ela pode falhar se a classe de observadores for refinada (por exemplo, pela adição de canais laterais de tempo, cache, potência ou eletromagnéticos) ou se o sistema sofrer "continuações ocultas" — transições de estado interno que preservam o registro público atual, mas alteram o estado de uma forma que poderia ser explorada por observações futuras, sessões repetidas ou pós-processamento.

O problema central abordado é a falta de um framework unificado que trate a indistinguibilidade criptográfica, a vazão de canais laterais (side-channel leakage) e a observabilidade da teoria de controle sob uma única estrutura geométrica e algébrica. As definições existentes frequentemente assumem um modelo de observador fixo; quando esse modelo muda (por exemplo, ao adicionar um canal lateral), as provas frequentemente quebram sem um mecanismo claro para quantificar a vazão resultante ou para projetar sensores que a mitiguem.

Metodologia

O artigo formaliza a Segurança de Quociente de Observador definindo o espaço de estados de segurança não como o estado de implementação bruto $X$, mas como o quociente do observador $X/\Pi$, onde $\Pi$ é uma classe de canais de observação admissíveis.

Construtos Matemáticos Principais

1. Quociente do Observador e Pseudometria: O artigo define uma pseudometria $d_\Pi(x, x')$ baseada na distância de variação total das distribuições de saída de todos os observadores em $\Pi$. Estados $x, x'$ são equivalentes ($x \equiv_\Pi x'$) se $d_\Pi(x, x') = 0$. O espaço quociente $X/\Pi$ representa o espaço de estados "visível".
2. Continuações Ocultas: Uma transição $T(x)$ é uma continuação oculta se $T(x) \neq x$, mas $T(x) \equiv_\Pi x$. Estas são mudanças de estado interno invisíveis para a classe de observadores atual.
3. Jogos de Segurança Interativos: O framework introduz jogos interativos com identificadores de sessão, encaminhamento de oráculo, agendadores de observadores adaptativos e pós-processamento. A definição de segurança é um teorema Real/Ideal: um jogo real $G$ emula uma funcionalidade de quociente ideal $F_{\Pi, B}$ se a vantagem de distinção do adversário for limitada pela soma de termos de "defeito" específicos.
4. Funcionais de Fronteira e Dissipatividade: Para lidar com a evolução temporal e o ruído, o artigo introduz funcionais de fronteira escalares $B_\Pi$ e condições de dissipatividade estocástica. Isso permite que o sistema prove que o "piso de vazão" (leakage floor) (a vantagem de distinção residual) converge para zero ou permanece limitado, mesmo na presença de ruído persistente ou deriva de implementação.

Estratégia de Prova

O principal teorema Real/Ideal é provado via uma sequência híbrida totalmente indexada. A prova decompõe a lacuna de segurança em termos de defeitos nomeados:

• Defeitos de observador: Falha do observador em distinguir estados dentro de uma classe de quociente.
• Defeitos de núcleo (kernel defects): Falha do núcleo de transição em ser compatível com o quociente (ou seja, separar estados equivalentes em distribuições futuras distinguíveis).
• Defeitos de pós-processamento: Falha da família de observadores em ser fechada sob transformações admissíveis.
• Defeitos de Simulador/Interface: Erros ao mapear a interface real para a funcionalidade de quociente ideal.
• Termos Estatísticos/Residuais: Limites derivados de dissipatividade estocástica e mapeamentos de fronteira-para-vantagem.

Contribuições Principais

1. Definição Formal de Jogos de Segurança de Quociente de Observador: O artigo define uma estrutura de jogo abrangente incluindo identificadores de sessão, agendadores adaptativos e funcionalidades de quociente ideais. Estabelece uma pseudometria nos estados induzida pela classe de observadores, tornando o "modelo de observador" um parâmetro explícito do teorema de segurança.
2. Teorema Composicional Real/Ideal: Fornece um teorema que limita a vantagem de distinção de ambientes adaptativos. O limite é uma soma de termos explícitos e nomeados (observador, núcleo, pós-processamento, simulador, estatístico e residual), permitindo a análise modular de sistemas complexos.
3. Instanciações Computacionais: O framework é instanciado para cenários criptográficos concretos:
   • IND-CPA com Vazão de Tempo (Timing Leakage): Um teorema que limita a vantagem baseada na segurança de apenas texto cifrado mais parâmetros de fronteira de tempo explícitos e ruído de perfilagem.
   • Criptografia Determinística: Uma abordagem baseada em registros (ledger) rastreando o consumo de entropia contra o tamanho do alfabeto e a vazão máxima de informação suave (smooth max-information leakage).
   • Criptografia Autenticada com Renovação de Nonce: Uma análise de máquina de estados rastreando colisões de nonce e deriva de estado de vazão.
4. Interpretação e Síntese de Controle Teórico: O artigo une criptografia e teoria de controle. Interpreta o refinamento do observador como redesenho de sensores e as continuações ocultas como elementos de um núcleo de observabilidade. Formula o design de observador como um problema de otimização (por exemplo, minimizar a vazão sujeita a restrições de utilidade e custo) e fornece as condições KKT para seleção de sensores relaxada.
5. Verificação Algorítmica para Sistemas Finitos: O artigo apresenta algoritmos construtivos para máquinas de estados finitos para computar assinaturas de observador, verificar a compatibilidade do quociente e refinar partições até que um quociente estável seja alcançado. Isso permite a detecção automatizada de "vazão atrasada", onde estados são equivalentes agora, mas distinguíveis futuramente.

Resultados e Alegações

O artigo alega que seu framework unifica três domínios anteriormente distintos:

• Indistinguibilidade Criptográfica: O IND-CPA padrão é recuperado como um caso especial onde a classe de observadores é limitada a transcrições.
• Análise de Canais Laterais (Side-Channel Analysis): O framework modela explicitamente como a adição de um canal lateral (refinando $\Pi$) torna o quociente mais grosseiro, potencialmente invalidando provas anteriores. Fornece um método para quantificar o "piso de vazão" causado por ruído persistente ou deriva de implementação.
• Controle Resiliente: Conecta a segurança à observabilidade. Um "ataque furtivo" é definido como uma sequência de entrada que move o sistema através do núcleo do observador. O artigo demonstra como a adição de linhas de sensores (refinando o observador) reduz a dimensão do núcleo e reduz o limite da vantagem residual.

O artigo demonstra que continuações ocultas são inofensivas apenas se a dinâmica do quociente for compatível (ou seja, o núcleo de transição mapeia estados equivalentes para distribuições futuras equivalentes). Se o núcleo for incompatível, ou se a classe do observador for refinada posteriormente, o estado oculto pode ser exposto.

Significância

O artigo argumenta que as asserções de segurança são inerentemente relativas à classe do observador. Uma prova válida para um observador de apenas transcrição não é automaticamente válida para um observador de transcrição mais tempo. A significância deste trabalho reside na:

1. Explicitação: Força a declaração explícita da classe do observador, do horizonte e do modelo de adversário, prevenindo suposições "implícitas" que levam a falhas de segurança.
2. Modularidade: Ao decompor os limites de segurança em termos de defeitos nomeados, permite que os projetistas de sistemas isolem a fonte de uma falha de segurança (por exemplo, se é uma incompatibilidade de núcleo ou um problema de pós-processamento).
3. Integração de Design: Fornece uma linguagem matemática para trocar custo de medição, utilidade e vazão. Em vez de tratar a mitigação de canais laterais como algo posterior, enquadra o design de sensores e o controle de vazão como um problema de otimização sobre o quociente do observador.
4. Residuais Quantitativos: Vai além dos estados binários qualitativos de "seguro/inseguro" para fornecer limites quantitativos sobre a "vantagem residual" ou "piso de vazão" na presença de ruído e deriva, oferecendo uma avaliação mais realista da segurança a longo prazo.

O artigo conclui que o "gap" entre a igualdade do estado bruto e a igualdade do observador é onde as continuações ocultas residem. A segurança é mantida não garantindo que os estados brutos sejam idênticos, mas garantindo que a dinâmica do quociente seja compatível e que o funcional de fronteira (representando a lacuna de vazão) seja levado a zero ou a um piso negligenciável.