En este trabajo se ha desarrollado un modelo lineal muy simple basado en Autómatas Celulares que genera exactamente la misma secuencia de salida que el generador Auto-Shrinking, un conocido generador de secuencia cifrante utilizado en el procedimiento de cifrado en flujo. El proceso de obtención del modelo lineal a partir de los parámetros del generador Auto-Shrinking es inmediato. La implementación del modelo ya linealizado puede llevarse a la práctica mediante lógica FPGA. La linealidad y las propiedades de simetría que aparecen en este modelo celular pueden utilizarse convenientemente para el análisis y/o criptoanálisis de este tipo de generador criptográfico.

Este trabajo ha sido realizado en el marco del proyecto "HESPERIA" financiado por el Centro para el Desarrollo Tecnológico Industrial (CDTI) a través del programa CENIT y por las empresas: Soluziona Consultoría y Tecnología, Unión Fenosa, Tecnobit, Visual-Tools, BrainStorm, SAC y TechnoSafe.

Este trabajo se realiza en el marco de una Tesis Doctoral, por ende los autores quieren expresar su agradecimiento al ITBA, Instituto Tecnológico de Buenos Aires (Argentina) y a alguno de sus profesores por sus útiles comentarios durante la preparación de este manuscrito.

7 pages, 6 figures.-- Contributed to: X Spanish Meeting on Cryptology and Information Security (Salamanca, Spain, Sep 2-5, 2008).

Peer reviewed