Tesis Doctorales
Universidad de Cádiz - España
- Síntesis del modelo de autómatas celulares en protocolos criptográficos de cifrado en flujo y orientados a redes de Feistel
- Autor: D. Antonio Jorge Tomeu Hardasmal
- Director: D. Alejandro Pérez Cuéllar
- Codirector: D. Bartolomé López Jiménez
- Fecha: 2002
- Resumen: El objeto de la Tesis Doctoral es la realización de una síntesis de paradigmas: de una parte, el modelo de cálculo teórico de los autómatas celulares; de la otra, los modelos clásicos de cifrado tanto en flujo de bits (cifrados Vernam), como en bloque (redes de Feistel). El resultado final serán criptosistemas clásicos integrando autómatas celulares y ofreciendos unos niveles de seguridad razonables. El primer paso es proceder a definir un criterio que permita el análisis del espacio de autómatas celulares codificados mediante reglas aditivas, de forma automatizada, con el objetivo de lograr una base de datos de muestras que actúen de manera aleatoria. El criterio elegido para la selección ha sido el diseño de una batería de test de aleatoriedad que, integrados en un software de propósito específico permiten el análisis del espacio de reglas citado. Fruto de tal análisis es una base de datos (potencialmente ampliable) que recoge los autómatas celulares con reglas aditivas que superan la batería de test, y para los cuales además se calculan tres parámetros adicionales: distancia media de Hamming interconfiguración, entropía de configuración y entropía temporal. En base a todo ello es posible escoger de entre los autómatas clasificados aquellos que se comportan de forma aleatoria. A continuación se integraron autómatas celulares binarios extraidos de la base de datos en esquemas de cifrado en flujo de bits, realizándose la implementación del cifrado y el correspondiente criptoanálisis estadístico, que fue superado en varios de los casos de estudio. No obstante, la literatura muestra un resultado que establece la isomorfía entre autómatas celulares y registros lineales de desplazamiento realimentado, a partir de la cual es algoritmo de Berlekamp-Massey se constituye en un potencial mecanismo de criptoanálisis capaz de romper la cifra. Para evitarlo, se proponen (integrando nuevamente autómatas celulares) las soluciones estándar basadas en la no linealización de las cifras, el uso de un control de reloj y otras. La siguiente fase fue la integración de los autómatas celulares en un red de Feistel correspondiente al esquema DES (Data Encryption Standard), elimando las S-cajas del mismo y sustituyéndolas por un autómata celular. Como aportación adicional se diseñó un algoritmo de cálculo de subclaves intermedias dato-dependiente, que dota de una mayor seguridad al cifrado. El posterior criptoanálisis estadístico, previa implementación de la cifra resultó adecuado. Se completó el estudio con la integración de S-cajas junto al autómata celular cifrante, al objeto de incrementar la seguridad. La tercera fase del estudio llevó a plantear la integración de no ya uno, sino varios autómatas celulares de una red de Feistel, para lo cual fue necesario desarrollar el concepto de red de Feistel polifuncional, y desarrollar un argumento formal que mostrase su involutividad, hecho lo cual es correspondiente critpoanálisis estadístico mostró resultados positivo. Finalmente, y únicamente a nivel teórico, se integraron los autómatas celulares en redes de Feistel no equilibradas, que permiten tamaños variables de bloque durante el proceso de cifrado.
Para mayor información, contacte con: antonio.tomeu@uca.es