Resumo Técnico: MQTT em uma Rede IoT Raspberry Pi 5 Utilizando Algoritmos de Assinatura Resistentes a Quânticos

Declaração do Problema

A rápida proliferação de dispositivos da Internet das Coisas (IoT) introduziu milhões de nós com recursos limitados em infraestruturas críticas e de consumo. Esses dispositivos dependem de protocolos leves, como Message Queuing Telemetry Transport (MQTT), para comunicação. No entanto, a segurança dessas redes está cada vez mais ameaçada pelo advento da computação quântica. Especificamente, o algoritmo de Shor representa um risco direto para a criptografia RSA e de curva elíptica atualmente utilizada para proteger comunicações MQTT via TLS. Dada a longa vida operacional de muitos dispositivos IoT (frequentemente décadas) e os ciclos lentos de atualização dos sistemas implantados, há uma necessidade urgente de transição para Criptografia Pós-Quântica (PQC) para garantir resiliência a longo prazo.

O principal desafio nessa transição é a restrição de recursos do hardware IoT. Muitos algoritmos PQC exigem chaves e assinaturas maiores, levando a sobrecarga computacional substancial e problemas de alocação de memória que poderiam degradar o desempenho de dispositivos leves.

Metodologia

Para investigar a viabilidade de integrar PQC em ambientes IoT com recursos limitados, os autores implementaram uma rede IoT funcional baseada em MQTT utilizando três unidades Raspberry Pi 5. O sistema modela uma arquitetura padrão de publicação-assinatura:

1. Publicador: Um Raspberry Pi 5 conectado a um circuito de sensor de movimento PIR HC-SR501. Ele detecta movimento, traduz isso em uma carga útil digital e publica mensagens em um tópico específico (motion-sensor).
2. Broker: Um Raspberry Pi 5 central executando o broker MQTT Mosquitto, responsável por rotear mensagens entre o publicador e o assinante.
3. Assinante: Um terceiro Raspberry Pi 5 que se inscreve no tópico motion-sensor para receber e registrar dados.

Implementação Criptográfica:
O estudo integra especificamente o esquema de assinatura digital FALCON, um dos algoritmos PQC baseados em reticulados selecionados pelo NIST. O FALCON foi escolhido por sua compactação e eficiência, apresentando tamanhos de chave e assinatura menores em comparação com outros candidatos do NIST, como CRYSTALS-Dilithium e SPHINCS+.

A implementação utilizou uma pilha de software composta por:

• OpenSSL: Para gerenciamento TLS/SSL.
• liboqs: Uma biblioteca C de código aberto fornecendo algoritmos seguros contra quânticos.
• oqs-provider: Uma biblioteca compartilhada que permite ao OpenSSL utilizar algoritmos seguros contra quânticos (especificamente FALCON).
• Mosquitto: A biblioteca broker/cliente MQTT, compilada com suporte a PQC.

O sistema foi configurado para usar FALCON-1024 para autenticação baseada em certificados, substituindo o RSA-2048 padrão para proteger as conexões TLS 1.3 entre os dispositivos.

Principais Contribuições

1. Implementação Prática em Hardware: Diferentemente de demonstrações anteriores que dependiam de contêineres Docker (que abstraem as restrições de hardware físico), este trabalho fornece uma implementação prática em hardware real. Ele aborda restrições do mundo real, como interfaceamento GPIO, distribuição física de certificados e limitações de rede inerentes a pontos finais embarcados.
2. Fluxo de Trabalho PQC de Ponta a Ponta: Os autores fornecem um fluxo de trabalho completo e operacional que inclui sensoriamento, publicação de mensagens, intermediação e assinatura, todos protegidos por técnicas seguras contra quânticos. Isso inclui scripts para configuração do ambiente, geração de certificados e inicialização do sistema.
3. Benchmarks de Desempenho: O estudo mede empiricamente as compensações de desempenho ao implantar PQC baseado em reticulados em hardware leve, focando especificamente nos tempos de geração de certificados.

Resultados

Os autores conduziram testes de desempenho comparando os tempos de geração de certificados do FALCON-1024 com o algoritmo clássico RSA-2048 nos nós Raspberry Pi 5. Os testes envolveram a execução dos scripts de geração 25 vezes para cada algoritmo em ambos os dispositivos publicador e assinante.

• Desempenho do FALCON-1024: O algoritmo FALCON gerou certificados em aproximadamente 68–70 milissegundos em média.
• Desempenho do RSA-2048: O algoritmo RSA exigiu mais de 300 milissegundos nos mesmos dispositivos.

Contrariando a percepção comum de que algoritmos PQC são universalmente mais computacionalmente caros que alternativas clássicas, os resultados indicaram que o FALCON-1024 foi significativamente mais rápido que o RSA-2048 neste contexto específico. Os autores atribuem isso ao fato de que a geração de certificados RSA é dominada por testes de primalidade de inteiros grandes e exponenciação modular caros, que escalam mal. Em contraste, o FALCON depende de aritmética polinomial sobre reticulados NTRU e Transformadas Rápidas de Fourier, que são mais eficientes em níveis de segurança equivalentes.

Significado e Alegações

O artigo afirma que a integração de PQC em arquiteturas de mensagens IoT leves não é apenas viável, mas pode ser alcançada sem interromper a funcionalidade geral do sistema. As principais conclusões incluem:

• Viabilidade do FALCON: O FALCON demonstra desempenho competitivo e, no caso da geração de certificados, superior em comparação com o RSA em hardware embarcado. Isso sugere que algoritmos PQC específicos podem oferecer vantagens práticas de desempenho juntamente com benefícios de segurança a longo prazo.
• Segurança Proativa: O estudo valida que o PQC pode ser implantado proativamente em infraestruturas IoT, em vez de esperar que uma ameaça quântica se materialize. Isso é crucial dada a longa vida útil dos dispositivos IoT.
• Agilidade Criptográfica: O uso modular de bibliotecas (OpenSSL, liboqs, oqsprovider) permite implementações seguras contra quânticos sem modificar a lógica MQTT no nível da aplicação, facilitando uma transição mais suave para segurança pós-quântica.

Os autores concluem que, embora o PQC geralmente introduza sobrecarga, as características específicas do FALCON o tornam uma opção viável para proteger infraestruturas IoT atuais e futuras, fornecendo uma base para agilidade criptográfica na transição para um mundo pós-quântico.

Trabalho Futuro

O artigo reconhece que o FALCON depende de amostragem Gaussiana de alta precisão e operações de ponto flutuante, o que pode introduzir vazamentos de tempo e vulnerabilidades de canal lateral. Como direção para trabalho futuro, os autores propõem avaliar o SOLMAE, um esquema de assinatura baseado em reticulados semelhante ao FALCON em compactação, mas projetado com resiliência explícita contra ataques de canal lateral, dentro do mesmo banco de testes.