💻 computer science

Integrating Random Number Generation with the Rabin Cryptosystem for a Robust Two-Way Authentication in RFID

Este artigo propõe um protocolo de autenticação de duas vias de baixo custo e robusto para sistemas RFID de baixo custo em ambientes IoT que integra o criptossistema de Rabin com geração de números aleatórios para aumentar a privacidade, prevenir ataques de replay e força bruta, e garantir o frescor da informação.

Autores originais: Yuanjia Ma, Jikun Guo, Canpeng Zheng, Qiujin Zhang, Yang Zhang

Publicado 2026-08-24

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yuanjia Ma, Jikun Guo, Canpeng Zheng, Qiujin Zhang, Yang Zhang

Artigo original sob licença CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Na teia invisível que conecta o nosso mundo moderno, pequenos dispositivos chamados etiquetas de identificação por radiofrequência atuam como os sentinelas silenciosos do comércio e da logística. Esses pequenos chips, muitas vezes não maiores que um selo postal, permitem que tudo, desde contêineres de transporte até o gado, seja rastreado sem contato físico. Eles são a espinha dorsal da Internet das Coisas, permitindo que as cadeias de suprimentos se movam com velocidade e precisão. No entanto, essa conveniência vem acompanhada de uma vulnerabilidade significativa. Como essas etiquetas se comunicam através de ondas de rádio abertas, elas estão expostas à interceptação, onde ouvintes invisíveis podem interceptar suas mensagens, ou ao spoofing, onde um criminoso finge ser um scanner legítimo para roubar dados. O desafio para os engenheiros é construir um sistema de segurança que seja forte o suficiente para deter esses intrusos, mas simples o suficiente para rodar em um dispositivo com quase nenhuma bateria ou poder de computação. Os métodos de segurança tradicionais usados em computadores são frequentemente pesados e complexos demais para esses minúsculos chips, deixando uma lacuna entre a necessidade de segurança e a realidade do hardware.

Pesquisadores da Universidade de Tecnologia Petroquímica de Guangdong abordaram essa lacuna ao projetar uma nova maneira para que essas etiquetas comprovem sua identidade a um scanner. O trabalho deles foca em um tipo específico de criptografia conhecido como sistema Rabin, que se baseia em um truque matemático envolvendo o levantamento de números ao quadrado. Enquanto a criptografia padrão muitas vezes exige cálculos complexos que esgotam a energia de uma etiqueta, este método utiliza uma operação mais simples, que é muito mais rápida e menos exigente. A equipe combinou essa criptografia eficiente com o uso inteligente de números aleatórios para criar um aperto de mão (handshake) de duas vias. Nesse processo, o scanner e a etiqueta trocam códigos secretos que mudam a cada vez que se comunicam. Isso garante que, mesmo que um criminoso grave uma conversa entre uma etiqueta e um scanner, essa gravação se torne inútil no momento em que a próxima conversa começar, porque os códigos secretos já mudaram.

O cerne de sua melhoria reside em como eles geram esses códigos variáveis. Em tentativas anteriores de proteger essas etiquetas, os próprios minúsculos chips tinham que gerar números aleatórios, uma tarefa que exigia circuitos extras e aumentava o custo e o tamanho da etiqueta. O novo protocolo transfere esse ônus inteiramente para o scanner. O scanner gera dois números aleatórios usando um Registrador de Deslocamento com Retroalimentação Linear (LFSR) e os envia para a etiqueta de forma embaralhada. A etiqueta, que possui uma chave secreta compartilhada apenas com o scanner, pode desembaraçar esses números para provar que é o objeto real. Como a etiqueta não precisa mais gerar seus próprios números aleatórios, os pesquisadores conseguiram remover o componente do gerador de números aleatórios do design da etiqueta. Essa redução de complexidade traduz-se diretamente em uma etiqueta mais barata, menor e mais eficiente em termos de energia.

Para garantir que este novo sistema fosse verdadeiramente seguro, os pesquisadores o submeteram a um teste lógico rigoroso conhecido como análise BAN. Este método permite que cientistas provem formalmente que um protocolo funciona conforme o pretendido, verificando se a etiqueta e o scanner podem realmente confiar nas mensagens um do outro. A análise confirmou que o novo método impede com sucesso vários ataques comuns. Ele impede ataques de repetição (replay attacks), nos quais um criminoso tenta reutilizar uma mensagem antiga para enganar o sistema, pois os números aleatórios garantem que cada mensagem seja inédita. Também evita ataques de dessincronização, nos quais um criminoso tenta forçar a etiqueta e o scanner a perderem o controle de seus segredos compartilhados, garantindo que as atualizações de chave só ocorram quando ambos os lados verificarem com sucesso um ao outro. Além disso, o sistema resiste a ataques de força bruta, nos quais um intruso tenta todas as combinações possíveis de números para adivinhar o segredo, porque a forma como os dados são embaralhados torna tal tentativa matematicamente impraticável.

O estudo também comparou o desempenho deste novo protocolo contra métodos existentes. Os resultados mostraram que, embora a quantidade de memória necessária na etiqueta tenha permanecido a mesma, o esforço computacional necessário para processar a verificação de segurança foi significativamente menor. Ao substituir uma função de hash padrão pelo método de criptografia Rabin, os pesquisadores reduziram o número de operações lógicas que a etiqueta precisava realizar. Essa eficiência é crucial para aplicações de baixo custo, onde cada bit de poder de processamento importa. Os pesquisadores demonstraram que sua abordagem não apenas oferece proteção mais forte contra rastreamento e personificação, mas também o faz com uma pegada menor no hardware. Ao provar que um sistema de segurança robusto pode ser construído com menos componentes eletrônicos, este trabalho oferece um caminho prático para proteger a vasta rede de dispositivos conectados que sustentam nossas vidas diárias, tornando a teia invisível da Internet das Coisas mais rápida e segura.

Resumo Técnico: Integração de Geração de Números Aleatórios com o Criptossistema Rabin para Autenticação Bidirecional Robusta em RFID

Declaração do Problema
A adoção generalizada da Identificação por Radiofrequência (RFID) em ambientes de Internet das Coisas (IoT) é dificultada por vulnerabilidades significativas de segurança e privacidade, incluindo interceptação (eavesdropping), adulteração de mensagens, spoofing, ataques de replay e rastreamento. Esses riscos são exacerbados pelas severas restrições de recursos das etiquetas RFID, que possuem poder computacional, armazenamento e energia limitados. Embora protocolos leves baseados em funções de hash e operações bit a bit tenham sido propostos para abordar a eficiência, análises recentes indicam que eles são suscetíveis a divulgação de segredos e ataques de força bruta. Por outro lado, a criptografia de chave pública oferece maior segurança, mas é frequentemente considerada excessivamente intensiva em termos computacionais para etiquetas passivas. Especificamente, protocolos existentes (como o da referência [12]) sofrem de vulnerabilidades onde números aleatórios são transmitidos em texto simples ou gerados via circuitos complexos na etiqueta, aumentando os custos e expondo o sistema a ataques de força bruta e dessincronização.

Metodologia
Os autores propõem um protocolo de autenticação bidirecional aprimorado que integra a geração de números aleatórios com o criptossistema Rabin para abordar essas limitações. A metodologia central envolve as seguintes mudanças arquitetônicas e algorítmicas:

Geração Centralizada de Números Aleatórios: Para reduzir a complexidade e o custo da etiqueta, o protocolo elimina a necessidade de geradores de números aleatórios (PRNGs) na etiqueta. Em vez disso, o leitor (unificado com o banco de dados de backend) gera dois números aleatórios, $R_1$ e $R_2$ , utilizando um Registrador de Deslocamento com Retroalimentação Linear (LFSR).
Integração do Criptossistema Rabin: O protocolo substitui as funções de Hash tradicionais pelo algoritmo de criptografia Rabin. O Rabin foi selecionado por sua prova matemática de que inverter a função de armadilha (trapdoor function) é tão difícil quanto a fatoração de inteiros, enquanto seu processo de criptografia requer apenas o cálculo de quadrado modular, o que é computacionalmente leve.
Operações Bit a Bit para Transmissão: Os números aleatórios $R_1$ e $R_2$ não são transmitidos diretamente. Em vez disso, eles são combinados via XOR com os segmentos de identificador da etiqueta ( $ID_L$ e $ID_R$ ) antes da transmissão. Isso impede que atacantes adivinhem os números aleatórios ou a chave por métodos exaustivos, pois o atacante não pode determinar os valores exatos de $R_1$ e $R_2$ sem o conhecimento prévio de $ID_L$ e $ID_R$ .
Fluxo de Autenticação:
- Leitor para Etiqueta: O leitor envia um comando de Consulta (Query) junto com $A = ID_L \oplus R_1$ e $B = ID_R \oplus R_2$ .
- Etiqueta para Leitor: A etiqueta recupera $R_1$ e $R_2$ , então calcula $C = [(KEY \& R_2 \& R_1)^2 \mod M]_k$ (pegando os primeiros $K$ dígitos) e o envia de volta.
- Verificação do Leitor: O leitor verifica $C$ contra seu banco de dados. Se for válido, ele envia $D = [KEY^2 \mod M]_k \& R_2$ para a etiqueta.
- Atualização de Chave: Ambas as partes atualizam suas chaves secretas compartilhadas ( $K_{old} = K_{new}$ ; $K_{new} = [KEY^2 \mod M]_k$ ) para garantir segurança retroativa e evitar dessincronização.
Verificação Formal: As propriedades de segurança do protocolo são formalmente analisadas usando a lógica BAN (Burrows-Abadi-Needham) para verificar a autenticação mútua e a crença no frescor das mensagens.

Principais Contribuições

Segurança Aprimorada contra Ataques de Força Bruta e Replay: Ao realizar o XOR dos números aleatórios com os identificadores únicos da etiqueta ( $ID_L$ e $ID_R$ ) e utilizar a propriedade de via única do algoritmo Rabin, o protocolo impede que atacantes deduzam a chave compartilhada ou os números aleatórios. Especificamente, sem o conhecimento prévio de $ID_L$ e $ID_R$ , um atacante é incapaz de determinar os valores exatos de $R_1$ e $R_2$ através de métodos de força bruta, mesmo que intercepte as mensagens.
Otimização de Custo e Eficiência: O protocolo reduz significativamente os requisitos de hardware para as etiquetas RFID. Ao mover a geração de números aleatórios para o leitor e substituir as funções de Hash pelo algoritmo Rabin otimizado, o número de portas lógicas necessárias é diminuído.
Autenticação Mútua Robusta: O design garante que tanto a etiqueta quanto o leitor se autentiquem mutuamente. A etiqueta verifica o leitor via mensagem $D$ , e o leitor verifica a etiqueta via mensagem $C$ , garantindo que nenhuma das partes possa ser falsificada (spoofing) sem a chave secreta compartilhada e os identificadores únicos.
Resistência à Dessincronização: O protocolo incorpora mecanismos para lidar com atualizações de chave de forma segura. O leitor verifica um triplet válido usando a chave atual ( $K_{new}$ ); se isso falhar, ele examina se existe um par usando a chave anterior ( $K_{old}$ ). Se a chave anterior for encontrada, o sistema reverte a ela para manter a sincronização, garantindo que o protocolo seja resiliente contra ataques de dessincronização.

Resultos
O artigo apresenta uma análise comparativa contra protocolos existentes (especificamente a referência [12] e outras [16-18]):

Comparação de Segurança: O protocolo proposto resiste com sucesso a ataques de Replay, Dessincronização, Fake, Rastreamento e Força Bruta, enquanto a referência [12] mostrou-se vulnerável a ataques de Força Bruta e a referência [18] carecia de Segurança Retroativa (Backward Security).
Comparação de Desempenho: Embora o espaço de armazenamento permaneça constante (3K bits) em comparação com a referência [12], a complexidade computacional é reduzida. O protocolo proposto requer 2 XOR, 3 XAND e 3 operações Rabin, enquanto o protocolo de referência requer 4 XOR, 1 PRNG e 4 operações de Hash.
Redução de Contagem de Portas (Gate Count): A eliminação do módulo PRNG na etiqueta e o uso do algoritmo Rabin (que requer menos portas do que as funções de Hash) resultam em uma contagem total de portas lógicas menor para a etiqueta.

Significância
Os autores afirmam que este protocolo oferece uma solução equilibrada para sistemas RFID de baixo custo em ambientes de IoT. Ao aproveitar a assimetria computacional do criptossistema Rabin e delegar a geração de números aleatórios ao leitor, o protocolo alcança uma autenticação bidirecional robusta sem comprometer as restrições de recursos das etiquetas passivas. A verificação formal via lógica BAN fornece garantia teórica da correção do protocolo. Em última análise, o estudo demonstra que alta segurança e privacidade (incluindo resistência ao rastreamento e força bruta) podem ser alcançadas em sistemas RFID, reduzindo simultaneamente o custo de fabricação e o fardo computacional das etiquetas.

Mais como este