La teoría del caos estudia el comportamiento errático de los sistemas dinámicos no lineales, altamente sensibles a las condiciones iniciales (efecto mariposa). Su estudio se remonta a los 1950s, en que el meteorólogo Edward N. Lorenz intentó hacer un modelo de los fenómenos atmosféricos [Lorenz, 1963]. La naturaleza impredecible, si bien determinista, de los fenómenos caóticos les ha convertido en candidatos a generadores pseudo aleatorios (pseudo-random number generators, PRNG), debido al paralelo de las características de ambos: ergodicidad frente a confusión, sensibilidad extrema a las condiciones iniciales y parámetros de control frente a sensibilidad extrema a la semilla o la clave (Difusión) y dinámica determinista frente a pseudo aleatoriedad. La criptografía caótica aborda dos paradigmas de diseño fundamentales: en el primero, los criptosistemas caóticos se diseñan con circuitos analógicos, principalmente basados en las técnicas de sincronización caótica; en el segundo paradigma están los criptosistemas caóticos que se construyen en circuitos digitales, u ordenadores y generalmente no dependen de las técnicas de sincronización del caos. En 1990 L.M. Pecora y T.L. Carroll [Pecora and Carroll, 1990] pusieron de manifiesto la capacidad de sincronización de dos sistemas caóticos continuous acoplados unidireccionalmente: controlador y respuesta, cuando los exponentes condicionales de Lyapunov del sistema acoplado eran negativos. A partir de entonces se han propuesto, durante dos décadas, multitud de criptosistemas caóticos basados en sincronización de varios tipos: directa, en fase, proporcional y retardada. Se han propuesto sistemas de un solo canal, o dos canales, uno para una señal de sincronismo y otro para la información cifrada. Estos sistemas se pueden construir mediante circuitos electrónicos analógicos o bien simularse digitalmente, mediante un método de integración numerica (Euler, Runge-Kutta, Dormand-Prince, etc.) Todos los criptosistemas caóticos continuous propuestos han demostrado ser vulnerables al criptoanálisis [Orue et al., 2007] [Orue et al., 2008] [Orúe et al., 2008] [Orúe et al., 2009], debido a los coeficientes condicionales de Lyapunov negativos, que permiten el acoplo de un sistema espía, después de una breve exploración de los posibles valores de parámetro. Casi simultáneamente se propusieron PRNG basados en aplicaciones caóticas discretas (Wolfram, 1985; Matthews, 1989; Bernstein y Lieberman, 1990) [Bernstein and Lieberman, 1990] [Matthews, 1996]. El éxito de estos sistemas ha sido variado: unos totalmente inseguros, otros seguros pero muy lentos y, finalmente, algunos rápidos y seguros. El problema de las aplicaciones caóticas es que han de realizarse mediante programación numérica, que forzosamente tiene precisión finita. Entonces, a cada iteración de la aplicación, se comete un error de redondeo que causa una degradación dinámica del sistema, con lo cual el caos deja de serlo realmente y los resultados teóricos esperados tienen poco que ver con los prácticamente obtenidos. En este trabajo, se presenta un esquema original de perturbación aleatoria de ciertos bits de los números generados en cada iteración, para paliar la degradación dinámica, lo que permite obtener resultados equiparables a los esperables de un auténtico sistema caótico. Es decir, se obtiene un pseudo caos. Como ejemplo se presentan tres PRNG pseudo-caóticos, dos basados en una aplicaciónn lineal a trozos [Orue et al., 2010b] [Orue et al., 2010a] y un tercero basado en la serie retardada de Fibonacci [Orúe et al., 2010]. Los generadores obtenidos son fácilmente programables en C99 estándar y alcanzan un rendimiento de un bit generado por cada ciclo de reloj del ordenador.

3 páginas, 43 transparencias, Comunicación presentada en el VI International Conference on Non Associative Algebras and its Applications, celebrado en Zaragoza, 1-5 November 2011.A Conference in Honor of the 60th Birthday of Santos González.

Peer reviewed