💻 computer science

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

Este artículo propone un protocolo de autenticación bidireccional rentable y robusto para sistemas RFID de bajo costo en entornos de IoT que integra el criptosistema de Rabin con la generación de números aleatorios para mejorar la privacidad, prevenir ataques de repetición y de fuerza bruta, y asegurar la frescura de la información.

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

Publicado 2026-08-24

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

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

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En la red invisible que conecta nuestro mundo moderno, diminutos dispositivos llamados etiquetas de identificación por radiofrecuencia actúan como los centinelas silenciosos del comercio y la logística. Estos pequeños chips, a menudo no más grandes que un sello de correos, permiten que todo, desde contenedores de transporte hasta ganado, sea rastreado sin contacto físico. Son la columna vertebral del Internet de las Cosas, permitiendo que las cadenas de suministro se muevan con velocidad y precisión. Sin embargo, esta conveniencia conlleva una vulnerabilidad significativa. Debido a que estas etiquetas se comunican a través de ondas de radio abiertas, están expuestas a la escucha furtiva, donde oyentes invisibles pueden interceptar sus mensajes, o al suplantación de identidad (spoofing), donde un criminal finge ser un escáner legítimo para robar datos. El desafío para los ingenieros es construir un sistema de seguridad que sea lo suficientemente fuerte como para detener a estos intrusos, pero lo suficientemente simple como para funcionar en un dispositivo con casi nada de batería o potencia de cómputo. Los métodos de seguridad tradicionales utilizados en las computadoras suelen ser demasiado pesados y complejos para estos diminutos chips, dejando un vacío entre la necesidad de seguridad y la realidad del hardware.

Investigadores de la Universidad de Tecnología Petroquímica de Guangdong han abordado este vacío diseñando una nueva forma para que estas etiquetas demuestren su identidad a un escáner. Su trabajo se centra en un tipo específico de cifrado conocido como el sistema Rabin, que se basa en un truco matemático que involucra el cuadrado de los números. Mientras que el cifrado estándar a menudo requiere cálculos complejos que agotan la energía de una etiqueta, este método utiliza una operación más simple que es mucho más rápida y menos exigente. El equipo combinó este cifrado eficiente con un uso ingenioso de números aleatorios para crear un saludo de dos vías (two-way handshake). En este proceso, el escáner y la etiqueta intercambian códigos secretos que cambian cada vez que se comunican. Esto asegura que, incluso si un criminal graba una conversación entre una etiqueta y un escáner, esa grabación se vuelve inútil en el momento en que comienza la siguiente conversación, porque los códigos secretos ya han cambiado.

El núcleo de su mejora reside en cómo generan estos códigos cambiantes. En intentos previos para asegurar estas etiquetas, los diminutos chips mismos tenían que generar números aleatorios, una tarea que requería circuitos adicionales y aumentaba el costo y el tamaño de la etiqueta. El nuevo protocolo traslada esta carga enteramente al escáner. El escáner genera dos números aleatorios utilizando un Registro de Desplazamiento con Retroalimentación Lineal (LFSR) y los envía a la etiqueta de forma codificada. La etiqueta, que posee una clave secreta compartida únicamente con el escáner, puede descodificar estos números para demostrar que es auténtica. Debido a que la etiqueta ya no necesita generar sus propios números aleatorios, los investigadores pudieron eliminar el componente del generador de números aleatorios del diseño de la etiqueta por completo. Esta reducción en la complejidad se traduce directamente en una etiqueta más barata, más pequeña y más eficiente energéticamente.

Para asegurar que este nuevo sistema fuera verdaderamente seguro, los investigadores lo sometieron a una rigurosa prueba lógica conocida como análisis BAN. Este método permite a los científicos probar formalmente que un protocolo funciona según lo previsto, verificando si la etiqueta y el escáner pueden confiar realmente en los mensajes del otro. El análisis confirmó que el nuevo método previene con éxito varios ataques comunes. Detiene los ataques de repetición (replay attacks), donde un criminal intenta reutilizar un mensaje antiguo para engañar al sistema, porque los números aleatorios aseguran que cada mensaje sea fresco. También evita los ataques de desincronización, donde un criminal intenta forzar a la etiqueta y al escáner a perder el rastro de sus secretos compartidos, al asegurar que las actualizaciones de claves solo ocurran cuando ambos lados se han verificado exitosamente. Además, el sistema resiste los ataques de fuerza bruta, donde un intruso intenta todas las combinaciones posibles de números para adivinar el secreto, debido a que la forma en que los datos se codifican hace que tal suposición sea matemáticamente impracticable.

El estudio también comparó el rendimiento de este nuevo protocolo frente a los métodos existentes. Los resultados mostraron que, si bien la cantidad de memoria requerida en la etiqueta se mantuvo igual, el esfuerzo computacional necesario para procesar la verificación de seguridad fue significamente menor. Al sustituir una función de hash estándar por el método de cifrado Rabin, los investigadores redujeron el número de operaciones lógicas que la etiqueta debía realizar. Esta eficiencia es crucial para aplicaciones de bajo costo donde cada bit de potencia de procesamiento importa. Los investigadores demostraron que su enfoque no solo ofrece una protección más fuerte contra el rastreo y la suplantación, sino que lo hace con una huella de hardware más ligera. Al demostrar que se puede construir un sistema de seguridad robusto con menos componentes electrónicos, este trabajo ofrece un camino práctico para asegurar la vasta red de dispositivos conectados que sustentan nuestras vidas diarias, haciendo que la red invisible del Internet de las Cosas sea tanto más rápida como más segura.

Resumen Técnico: Integración de la Generación de Números Aleatorios con el Criptosistema Rabin para una Autenticación Bidireccional Robusta en RFID

Planteamiento del Problema
La adopción generalizada de la Identificación por Radiofrecuencia (RFID) en entornos de Internet de las Cosas (IoT) se ve obstaculizada por vulnerabilidades significativas de seguridad y privacidad, incluyendo la interceptación de comunicaciones (eavesdropping), la manipulación de mensajes, la suplantación de identidad (spoofing), los ataques de repetición (replay attacks) y el rastreo. Estos riesgos se ven exacerbados por las severas limitaciones de recursos de las etiquetas RFID, que poseen potencia computacional, almacenamiento y energía limitados. Aunque se han propuesto protocolos ligeros basados en funciones hash y operaciones de bits para abordar la eficiencia, análisis recientes indican que son susceptibles a la divulgación de secretos y ataques de fuerza bruta. Por el contrario, la criptografía de clave pública ofrece una seguridad más fuerte pero suele considerarse demasiado intensiva computacionalmente para las etiquetas pasivas. Específicamente, los protocolos existentes (como el de la referencia [12]) sufren vulnerabilidades donde los números aleatorios se transmiten en texto plano o se generan mediante circuitos complejos en la etiqueta, lo que aumenta los costos y expone al sistema a ataques de fuerza bruta y desincronización.

Metodología
Los autores proponen un protocolo de autenticación bidireccional mejorado que integra la generación de números aleatorios con el criptosistema Rabin para abordar estas limitaciones. La metodología central implica los siguientes cambios arquitectónicos y algorítmicos:

Generación Centralizada de Números Aleatorios: Para reducir la complejidad y el costo de la etiqueta, el protocolo elimina la necesidad de generadores de números aleatorios (PRNG) en la etiqueta. En su lugar, el lector (unificado con la base de datos de backend) genera dos números aleatorios, $R_1$ y $R_2$ , utilizando un Registro de Desplazamiento con Retroalimentación Lineal (LFSR).
Integración del Criptosistema Rabin: El protocolo reemplaza las funciones Hash tradicionales con el algoritmo de cifrado Rabin. Se selecciona Rabin debido a su prueba matemática de que invertir la función de trampa (trapdoor function) es tan difícil como la factorización de enteros, mientras que su proceso de cifrado requiere únicamente el cuadrado modular, lo cual es computacionalmente ligero.
Operaciones de Bits para la Transmisión: Los números aleatorios $R_1$ y $R_2$ no se transmiten directamente. En su lugar, se les aplica una operación XOR con los segmentos del identificador de la etiqueta ( $ID_L$ e $ID_R$ ) antes de la transmisión. Esto evita que los atacantes adivinen los números aleatorios o la clave mediante métodos exhaustivos, ya que el atacante no puede determinar los valores exactos de $R_1$ y $R_2$ sin el conocimiento previo de $ID_L$ e $ID_R$ .
Flujo de Autenticación:
- Del Lector a la Etiqueta: El lector envía un comando de Consulta junto con $A = ID_L \oplus R_1$ y $B = ID_R \oplus R_2$ .
- De la Etiqueta al Lector: La etiqueta recupera $R_1$ y $R_2$ , luego calcula $C = [(KEY \& R_2 \& R_1)^2 \mod M]_k$ (tomando los primeros $K$ dígitos) y lo envía de vuelta.
- Verificación del Lector: El lector verifica $C$ contra su base de datos. Si es válido, envía $D = [KEY^2 \mod M]_k \& R_2$ a la etiqueta.
- Actualización de la Clave: Ambas partes actualizan sus claves secretas compartidas ( $K_{old} = K_{new}$ ; $K_{new} = [KEY^2 \mod M]_k$ ) para asegurar la seguridad hacia atrás (backward security) y prevenir la desincronización.
Verificación Formal: Las propiedades de seguridad del protocolo se analizan formalmente utilizando la lógica BAN (Burrows-Abadi-Needham) para verificar la autenticación mutua y la creencia en la frescura de los mensajes.

Contribuciones Clave

Seguridad Mejorada contra Ataques de Fuerza Bruta y Repetición: Al realizar la operación XOR de los números aleatorios con los identificadores únicos de la etiqueta ( $ID_L$ e $ID_R$ ) y utilizar la propiedad de un solo sentido del algoritmo Rabin, el protocolo evita que los atacantes deduzcan la clave compartida o los números aleatorios. Específicamente, sin el conocimiento previo de $ID_L$ e $ID_R$ , un atacante es incapaz de determinar los valores exactos de $R_1$ y $R_2$ mediante métodos de fuerza bruta, incluso si intercepta los mensajes.
Optimización de Costo y Eficiencia: El protocolo reduce significamente los requisitos de hardware para las etiquetas RFID. Al trasladar la generación de números aleatorios al lector y reemplazar las funciones Hash por el algoritmo Rabin optimizado, se disminuye el número de compuertas lógicas requeridas.
Autenticación Mutua Robusta: El diseño asegura que tanto la etiqueta como el lector se autentiquen entre sí. La etiqueta verifica al lector mediante el mensaje $D$ , y el lector verifica a la etiqueta mediante el mensaje $C$ , asegurando que ninguna de las partes pueda ser suplantada sin la clave secreta compartida y los identificadores únicos.
Resistencia a la Desincronización: El protocolo incorpora mecanismos para manejar las actualizaciones de clave de forma segura. El lector busca un triplete válido usando la clave actual ( $K_{new}$ ); si esto falla, examina si existe un par utilizando la clave anterior ( $K_{old}$ ). Si se encuentra la clave anterior, el sistema revierte a ella para mantener la sincronización, asegurando que el protocolo sea resiliente ante ataques de desincronización.

Resultados
El artículo presenta un análisis comparativo frente a protocolos existentes (específicamente la referencia [12] y otros [16-18]):

Comparación de Seguridad: El protocolo propuesto resiste con éxito ataques de Repetición, Desincronización, Falsificación (Fake), Rastreo y Fuerza Bruta, mientras que se encontró que la referencia [12] es vulnerable a ataques de Fuerza Bruta y la referencia [18] carece de Seguridad hacia Atrás (Backward Security).
Comparación de Rendimiento: Mientras que el espacio de almacenamiento permanece constante (3K bits) en comparación con la referencia [12], la complejidad computacional se reduce. El protocolo propuesto requiere 2 XOR, 3 XAND y 3 operaciones Rabin, mientras que el protocolo de referencia requiere 4 XOR, 1 PRNG y 4 operaciones Hash.
Reducción del Conteo de Compuertas: La eliminación del módulo PRNG en la etiqueta y el uso del algoritmo Rabin (que requiere menos compuertas que las funciones Hash) resultan en un menor conteo total de compuertas lógicas para la etiqueta.

Significancia
Los autores afirman que este protocolo ofrece una solución equilibrada para sistemas RFID de bajo costo en entornos de IoT. Al aprovechar la asimetría computacional del criptosistema Rabin y delegar la generación de números aleatorios al lector, el protocolo logra una robusta autenticación bidireccional sin comprometer las limitaciones de recursos de las etiquetas pasivas. La verificación formal mediante la lógica BAN proporciona una garantía teórica de la corrección del protocolo. En última instancia, el estudio demuestra que se puede lograr una alta seguridad y privacidad (incluyendo la resistencia al rastreo y ataques de fuerza bruta) en sistemas RFID, reduciendo simultáneamente el costo de fabricación y la carga computacional de las etiquetas.

Más como este