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

Resumen Técnico: Autenticación de Conocimiento Cero Asistida por Hardware para IoT con Recursos Limitados

Planteamiento del Problema
El despliegue generalizado de terminales de Internet de las Cosas (IoT) con recursos limitados en entornos de control industrial, sensores y computación en el borde (edge computing) requiere mecanismos de autenticación que equilibren la baja carga computacional, la privacidad de las credenciales y la adaptabilidad multiplataforma. Los métodos tradicionales, como las contraseñas estáticas y las USBKEY basadas en certificados, sufren vulnerabilidades ante ataques de escucha, repetición y falsificación. Además, a menudo dependen de la transmisión explícita de identidad o de operaciones complejas de clave pública que no son adecuadas para dispositivos de bajos recursos. Las alternativas ligeras existentes (por ejemplo, PUF, blockchain o esquemas basados en ECC) frecuentemente no logran abordar simultáneamente los riesgos de malware en la capa de software, los altos costos computacionales y la filtración de privacidad inherente al vincular los mensajes de autenticación con las credenciales de identidad.

Metodología
El artículo propone un esquema de autenticación de conocimiento cero asistido por hardware, diseñado para terminales IoT con recursos limitados. La metodología central integra un dispositivo USBKEY como un portador de hardware confiable local (actuando como el Probador, $P$) con un protocolo de prueba de conocimiento cero basado en el marco de Evaluación Lineal Oblivia de Vectores de Subespacio Generalizado (GSVOLE-2DLC).

• Arquitectura del Sistema: El sistema consta de una USBKEY del lado del usuario, un host cliente (no confiable, responsable únicamente de la retransmisión de mensajes), un servidor de autenticación (actuando como el Verificador, $V$) y una base de datos segura. La USBKEY almacena la información del testigo derivada de las credenciales del usuario localmente, asegurando que las credenciales originales nunca abandonen el dispositivo.
• Mecanismo del Protocolo: El proceso de autenticación sigue un modelo de cuatro etapas:
  1. Registro: El servidor genera los parámetros del protocolo (dimensiones del código lineal, matrices generadoras, ecuaciones de restricción) y los vincula con las credenciales del usuario, escribiéndolos en la USBKEY.
  2. Generación de Desafío: El servidor genera un vector de desafío aleatorio fresco y matrices de codificación para cada sesión.
  3. Generación de Prueba: La USBKEY utiliza la información del testigo local y el desafío recibido para calcular los parámetros de prueba temporales ($\tilde{a}, \tilde{b}, S, \tilde{v}$) mediante el protocolo GSVOLE-2DLC. Esto implica adiciones de campos finitos, multiplicaciones y operaciones matriciales, evitando la criptografía de clave pública pesada.
  4. Verificación: El servidor verifica la prueba a través de dos comprobaciones: consistencia de restricción y consistencia de GSVOLE. Una verificación exitosa confirma la identidad sin que el servidor acceda jamás a la contraseña original o al vector del testigo.
• Adaptabilidad: Para acomodar diversas capacidades de hardware, el sistema cuenta con parámetros de campo finito configurables e interfaces de aritmética modular, implementadas en un prototipo de USBKEY con arquitectura PowerPC.

Contribuciones Clave

1. Marco Asistido por Hardware: Los autores proponen un marco que combina el aislamiento de hardware local de las USBKEY con las capacidades de conocimiento cero de GSVOLE-2DLC. Esto permite que el servidor autentique los dispositivos sin acceder a las credenciales de identidad originales, mitigando eficazmente la filtración de privacidad.
2. Prueba Dinámica Vinculada a la Sesión: Se construye un mecanismo dinámico donde el servidor emite un desafío aleatorio único para cada sesión. La USBKEY genera parámetros de prueba válidos solo para esa sesión específica. Esta doble verificación (consistencia de restricción y de GSole) previene ataques de repetición, manipulación y falsificación.
3. Implementación y Evaluación de Prototipo: Se desarrolló y evaluó un prototipo de USBKEY real basado en la arquitectura PowerPC. El estudio proporciona un análisis detallado de cómo parámetros específicos (ancho de bits del campo finito, longitud del código, bits de información, recuento de restricciones y grado de paralelismo) impactan la latencia de autenticación, ofreciendo una base para la selección de parámetros en escenarios de recursos limitados.

Resultos Experimentales
El prototipo fue probado utilizando una USBKEY PowerPC (180 MHz) como probador y un Intel Core i5-13600KF como verificador.

• Rendimiento: Bajo una configuración específica (campo primo de 64 bits, $n_C=4, k_C=3, d_C=3, \ell=2, t=7$), el tiempo de autenticación total del sistema fue de aproximadamente 0.5476 segundos, siendo el tiempo de verificación del servidor insignificante, de 0.0031 segundos.
• Sensibilidad de Parámetros:
  • El grado de paralelismo ($\ell$) y el número de ecuaciones de restricción ($t$) fueron identificados como los factores más significativos que afectan la latencia.
  • El ancho de bits del campo finito mostró una correlación positiva con el tiempo de ejecución, observándose un aumento pronunciado entre los rangos de 32 bits y 256 bits.
  • La distancia mínima ($d_C$) tuvo un impacto mínimo en el rendimiento.
• Análisis Comparativo: En comparación con esquemas existentes que utilizan emparejamientos bilineales o ECC en plataformas embebidas similares o ligeramente más potentes (por ejemplo, Intel Edison, Cortex-M3), el esquema propuesto demostró un rendimiento competitivo (0.5476 s) utilizando una plataforma de hardware de menor costo (PowerPC 180 MHz).
• Corrección: Las pruebas funcionales confirmaron que el sistema ejecuta correctamente los procesos de registro, generación de desafío, generación de prueba y doble verificación sin filtrar la información del testigo.

Significado y Reivindicaciones
El artículo afirma que el esquema propuesto aborda con éxito el equilibrio entre seguridad, privacidad y eficiencia en la autenticación de IoT. Al confinar los cálculos sensibles a una USBKEY asegurada por hardware y utilizar un protocolo de conocimiento cero ligero, el sistema logra:

• Privacidad de Credenciales: Las contraseñas originales y los vectores de testigo nunca se transmiten por la red.
• Resistencia a la Repetición y Falsificación: Los desafíos vinculados a la sesión aseguran que las pruebas históricas sean inválidas para nuevas sesiones.
• Adaptabilidad Ligera: La dependencia de la aritmética de campo finito en lugar de operaciones de clave pública complejas hace que el esquema sea adecuado para dispositivos de borde con recursos limitados.

Los autores concluyen que el esquema es particularmente adecuado para nodos de detección inteligente y de borde industrial que requieren aislamiento de hardware. Señalan modestamente que para escenarios que involucren ataques físicos fuertes, compromiso total del verificador o autenticación en la nube de alta concurrencia, serían necesarios mecanismos adicionales (como detección de intrusiones y protección de hardware mejorada). El trabajo futuro planeado incluye el análisis de canal lateral, la evaluación del consumo de energía y comparaciones de línea base más extensas en plataformas idénticas.