A lightweight PUF-based authentication protocol

Título: Um Protocolo de Autenticação Leve Baseado em PUF (Função de Não Clonagem Física)

1. Problema

O artigo aborda o desafio crítico de implementar autenticação segura em dispositivos da Internet das Coisas (IoT) que possuem recursos extremamente limitados (baixa energia, pequena área de silício e memória reduzida).

• Vulnerabilidade das PUFs Leves: As Funções de Não Clonagem Física (PUFs) são ideais para IoT devido ao seu baixo custo de hardware. A Arbiter PUF (APUF) é a mais leve e forte (capaz de gerar um número exponencial de pares desafio-resposta), mas é severamente vulnerável a ataques de modelagem (modeling attacks). Ataques de aprendizado de máquina podem treinar modelos para prever as respostas da PUF com base em pares desafio-resposta (CRPs) coletados publicamente.
• Limitações das Soluções Atuais:
  • PUFs Mais Seguras: PUFs mais robustas (como XPUF, IPUF, LSPUF) exigem arquiteturas complexas com múltiplos componentes APUF, resultando em uma sobrecarga de área (hardware) que pode ser 6 a 10 vezes maior que uma APUF simples, tornando-as inadequadas para dispositivos muito restritos.
  • Protocolos de Ofuscação: Protocolos existentes que tentam ofuscar desafios ou respostas muitas vezes exigem hardware adicional (como geradores de números aleatórios verdadeiros - TRNG) ou operações computacionais pesadas, aumentando o custo energético e de área.
• Ataques Específicos: O sistema precisa resistir não apenas a ataques de aprendizado de máquina convencionais, mas também a ataques baseados em confiabilidade (que exigem que o mesmo desafio seja avaliado múltiplas vezes) e ataques de replay (reutilização de desafios antigos).

2. Metodologia

Os autores propõem uma co-design (projeto conjunto) de PUF e Protocolo, onde a segurança é alcançada através da interação entre um hardware simples e um protocolo inteligente, em vez de depender apenas de um hardware complexo.

• Hardware Proposto (Interface de Ofuscação de Desafio):

  • Utiliza uma APUF padrão (n estágios) equipada com uma interface de entrada de zero transistores.
  • A interface aceita n + m bits de entrada, mas apenas n bits são realmente alimentados para os estágios da PUF.
  • Os m bits restantes são chamados de "bits fantasma" (ghost bits). Eles são inseridos aleatoriamente no vetor de entrada, mas não afetam o funcionamento interno da PUF.
  • Teorema 1: O artigo prova matematicamente que, sob certas condições (os bits fantasma não serem consecutivos), a relação entre o vetor de entrada completo (incluindo bits fantasma) e a resposta da PUF se torna um problema de classificação definido por um polinômio multivariável de alta ordem (ordem entre $2^{m-2}$ e $2^{m+1}$). Isso torna o problema extremamente não linear e difícil para algoritmos de aprendizado de máquina convencionais resolverem.

• Protocolo de Autenticação Mútua:

  • Geração de Desafios: O dispositivo e o servidor compartilham uma semente inicial (ID do dispositivo) e utilizam um Registrador de Deslocamento com Feedback Linear (LFSR) de comprimento máximo para gerar sequências de desafios. Isso elimina a necessidade de transmitir desafios complexos pela rede.
  • Freshness (Frescor) e Replay: O protocolo exige que o dispositivo forneça uma parte do desafio (via LFSR) que deve ser sempre nova. Isso impede ataques de replay, pois um atacante não pode reutilizar um desafio antigo sem saber a semente atual do LFSR do dispositivo.
  • Resistência a Escolha de Desafio (Chosen-Challenge): O protocolo garante que todos os bits do desafio tenham probabilidade igual de ser 0 ou 1 (distribuição aleatória uniforme) e que a parte fornecida pelo dispositivo seja longa o suficiente. Isso impede que um atacante realize ataques de "desafio escolhido" para deduzir quais bits são os "fantasmas".
  • Mecanismo de Verificação: O servidor envia metade das respostas esperadas (baseadas em seu modelo de software da PUF). O dispositivo gera suas respostas, compara a primeira metade com a do servidor e, se a distância de Hamming estiver dentro do limite, envia a segunda metade de volta para o servidor.

3. Principais Contribuições

1. Interface de Zero Transistores: Introdução de uma técnica de ofuscação que não adiciona nenhum transistor ao circuito da PUF, apenas lógica de roteamento simples, mantendo a APUF como a estrutura de hardware mais leve possível.
2. Prova Teórica de Segurança: Demonstração de que a adição de bits fantasma transforma a APUF em um problema de classificação de alta não-linearidade, tornando-a teoricamente resistente a ataques de aprendizado de máquina se o número de bits fantasma for suficiente.
3. Protocolo Leve e Robusto: Desenvolvimento de um protocolo de autenticação mútua que não requer TRNG no dispositivo, não armazena grandes listas de desafios na memória não volátil (NVM) e utiliza apenas um LFSR e um comparador simples.
4. Co-design Eficiente: A combinação do protocolo com a PUF ofuscada permite que uma APUF fraca (vulnerável isoladamente) se torne um componente seguro, eliminando a necessidade de PUFs complexas e pesadas.

4. Resultados Experimentais

Os autores realizaram simulações de ataques usando Redes Neurais (com funções de ativação tanh e otimização ADAM) contra diversas configurações de PUFs:

• Comparação: Foram testadas APUFs interfazadas com diferentes números de bits fantasma ($m$) e comparadas com PUFs complexas conhecidas (XPUF, Interpose PUF).
• Desempenho:
  • Para uma APUF de 64 estágios com 18 bits fantasma, a taxa de sucesso do ataque caiu para 5% (com 10 milhões de CRPs) e 10% (com 40 milhões).
  • Para 21 bits fantasma ou mais, a taxa de sucesso do ataque foi de 0% em todos os casos testados, mesmo com até 40 milhões de pares desafio-resposta.
  • Em contraste, PUFs complexas como a XPUF de 9 componentes e a Interpose PUF mostraram taxas de sucesso de ataque muito mais altas (até 90% para XPUF com 40 milhões de CRPs).
• Conclusão Experimental: A adição de um número relativamente pequeno de bits fantasma (menos da metade do número de estágios da PUF) é suficiente para tornar a APUF resistente aos métodos de ataque de aprendizado de máquina mais poderosos atualmente disponíveis.

5. Significância

Este trabalho é significativo porque oferece uma solução viável para a segurança de dispositivos IoT de recursos extremamente limitados:

• Eficiência de Recursos: Mantém a sobrecarga de hardware próxima à de uma APUF simples (muito menor que as PUFs "seguras" atuais), permitindo sua implementação em sensores baratos e de baixa energia.
• Segurança Comprovada: Demonstra que a segurança contra modelagem não depende necessariamente de circuitos complexos, mas pode ser alcançada através de uma arquitetura de protocolo inteligente que explora a não-linearidade matemática introduzida por bits de ofuscação.
• Viabilidade Prática: O protocolo elimina a necessidade de armazenamento massivo de chaves ou desafios e evita o uso de TRNGs caros, resolvendo gargalos comuns na implementação de autenticação em IoT.

Em resumo, o artigo propõe um paradigma onde a segurança é deslocada da complexidade do hardware para a inteligência do protocolo e da ofuscação de dados, permitindo autenticação forte e leve para a próxima geração de dispositivos IoT.