Hardware-Assisted Zero-Knowledge Authentication Scheme for Resource-Constrained IoT Terminals: USBKEY Implementation and Evaluation Based on GSVOLE-2DLC

Resumo Técnico: Autenticação de Conhecimento Zero Assistida por Hardware para IoT com Recursos Limitados

Definição do Problema
A implantação generalizada de terminais de Internet das Coisas (IoT) com recursos limitados em ambientes de controle industrial, sensoriamento e computação de borda exige mecanismos de autenticação que equilibrem baixo overhead computacional, privacidade de credenciais e adaptabilidade multiplataforma. Métodos tradicionais, como senhas estáticas e USBKEYs baseados em certificados, sofrem com vulnerabilidades a ataques de interceptação (eavesdropping), replay e falsificação. Além disso, eles frequentemente dependem da transmissão explícita de identidade ou de operações complexas de chave pública que são inadequadas para dispositivos de baixos recursos. Alternativas leves existentes (ex: PUF, blockchain ou esquemas baseados em ECC) frequentemente falham em abordar simultaneamente riscos de malware na camada de software, altos custos computacionais e o vazamento de privacidade inerente ao vínculo de mensagens de autenticação com credenciais de identidade.

Metodologia
O artigo propõe um esquema de autenticação de conhecimento zero assistido por hardware, adaptado para terminais IoT com recursos limitados. A metodologia central integra um dispositivo USBKEY como um portador de hardware confiável local (atuando como o Provador, $P$) com um protocolo de prova de conhecimento zero baseado no framework de Avaliação Linear Oblívia de Vetor de Subespaço Generalizado (GSVOLE-2DLC).

• Arquitetura do Sistema: O sistema compreende um USBKEY do lado do usuário, um host cliente (não confiável, responsável apenas pelo encaminhamento de mensagens), um servidor de autenticação (atuando como o Verificador, $V$) e um banco de dados seguro. O USBKEY armazena informações de testemunha (witness) derivadas das credenciais do usuário localmente, garantindo que as credenciais originais nunca deixem o dispositivo.
• Mecanismo do Protocolo: O processo de autenticação segue um modelo de quatro estágios:
  1. Registro: O servidor gera parâmetros do protocolo (dimensões de código linear, matrizes geradoras, equações de restrição) e os vincula às credenciais do usuário, escrevendo-os no USBKEY.
  2. Geração de Desafio: O servidor gera um vetor de desafio aleatório e fresco e matrizes de codificação para cada sessão.
  3. Geração de Prova: O USBKEY utiliza informações de testemunha locais e o desafio recebido para computar parâmetros de prova temporários ($\tilde{a}, \tilde{b}, S, \tilde{v}$) via o protocolo GSVOLE-2DLC. Isso envolve adições de campo finito, multiplicações e operações de matriz, evitando criptografia de chave pública pesada.
  4. Verificação: O servidor verifica a prova através de duas verificações: consistência de restrição e consistência de GSVOLE. A verificação bem-sucedida confirma a identidade sem que o servidor jamais acesse a senha original ou o vetor de testemunha.
• Adaptabilidade: Para acomodar diversas capacidades de hardware, o sistema apresenta parâmetros de campo finito configuráveis e interfaces de aritmética modular, implementadas em um protótipo de USBKEY com arquitetura PowerPC.

Principais Contribuições

1. Framework Assistido por Hardware: Os autores propõem um framework que combina o isolamento de hardware local dos USBKEYs com as capacidades de conhecimento zero do GSVOLE-2DLC. Isso permite que o servidor autentique os dispositivos sem acessar as credenciais de identidade originais, mitigando efetivamente o vazamento de privacidade.
2. Prova Dinâmica Vinculada à Sessão: Um mecanismo dinâmico é construído onde o servidor emite um desafio aleatório único para cada sessão. O USBKEY gera parâmetros de prova válidos apenas para aquela sessão específica. Esta dupla verificação (consistência de restrição e GSVOLE) previne ataques de replay, adulteração e falsificação.
3. Implementação de Protótipo e Avaliação: Um protótipo de USBKEY real baseado na arquitetura PowerPC foi desenvolvido e avaliado. O estudo fornece uma análise detalhada de como parâmetros específicos (largura de bits do campo finito, comprimento do codeword, bits de informação, contagem de restrições e grau de paralelismo) impactam a latência de autenticação, oferecendo uma base para a seleção de parâmetros em cenários de recursos limitados.

Resultados Experimentais
O protótipo foi testado utilizando um USBKEY PowerPC (180 MHz) como provador e um Intel Core i5-13600KF como verificador.

• Desempenho: Sob uma configuração específica (campo primo de 64 bits, $n_C=4, k_C=3, d_C=3, \ell=2, t=7$), o tempo total de autenticação do sistema foi de aproximadamente 0,5476 segundos, com o tempo de verificação do servidor sendo insignificante, em 0,0031 segundos.
• Sensibilidade de Parâmetros:
  • O grau de paralelismo ($\ell$) e o número de equações de restrição ($t$) foram identificados como os fatores mais significativos que afetam a latência.
  • A largura de bits do campo finito mostrou uma correlação positiva com o tempo de execução, com um aumento acentuado observado entre as faixas de 32 bits e 256 bits.
  • A distância mínima ($d_C$) teve impacto mínimo no desempenho.
• Análise Comparativa: Comparado a esquemas existentes usando emparelhamentos bilineares ou ECC em plataformas embarcadas similares ou ligeiramente mais potentes (ex: Intel Edison, Cortex-M3), o esquema proposto demonstrou desempenho competitivo (0,5476 s) enquanto utilizava uma plataforma de hardware de menor custo (PowerPC 180 MHz).
• Corretude: Testes funcionais confirmaram que o sistema executa corretamente os processos de registro, geração de desafio, geração de prova e dupla verificação sem vazar informações de testemunha.

Significância e Alegações
O artigo afirma que o esquema proposto aborda com sucesso o equilíbrio entre segurança, privacidade e eficiência na autenticação IoT. Ao confinar computações sensíveis a um USBKEY protegido por hardware e utilizar um protocolo de conhecimento zero leve, o sistema alcança:

• Privacidade de Credenciais: Senhas originais e vetores de testemunha nunca são transmitidos pela rede.
• Resistência a Replay e Falsificação: Desafios vinculados à sessão garantem que provas históricas sejam inválidas para novas sessões.
• Adaptabilidade Leve: A dependência de aritmética de campo finito em vez de operações complexas de chave pública torna o esquema adequado para dispositivos de borda com recursos limitados.

Os autores concluem que o esquema é particularmente adequado para nós de borda industriais e de sensoriamento inteligente que exigem isolamento de hardware. Eles observam modestamente que, para cenários envolvendo ataques físicos fortes, comprometimento total do verificador ou autenticação em nuvem de alta concorrência, mecanismos adicionais (como detecção de intrusão e proteção de hardware aprimorada) seriam necessários. O trabalho futuro planejado inclui análise de canal lateral, avaliação de consumo de energia e comparações de linha de base mais extensas em plataformas idênticas.