Tesis doctoral de Verónica Requena Arévalo
Las funciones booleanas juegan un papel muy importante en la criptografía moderna y son la pieza fundamental de numerosos criptosistemas gracias a su habilidad para proporcionar seguridad en las comunicaciones. el estudio de las funciones booleanas, tanto desde una perspectiva teórica como práctica, es crucial en la provisión de seguridad en las aplicaciones criptográficas como los cifradores en bloque, los cifradores en flujo y las funciones hash. las propiedades de no linealidad y equilibrio son dos criterios esenciales criptográficamente para las funciones booleanas. la no linealidad es la propiedad más importante en cualquier criptosistema de clave simétrica para alcanzar confusión. la definición más usada de no linealidad es la mínima distancia de una función booleana al conjunto de las funciones afines. la familia de funciones bent son las funciones booleanas de un número par de variables con la máxima no linealidad, aunque no son equilibradas. a pesar de su definición simple y natural, las funciones bent poseen una estructura complicada en general. la construcción de funciones criptográficamente completas es una tarea ardua. actualmente existe una amplia gama de técnicas algebraicas y heurísticas para construir tales funciones, sin embargo estos métodos pueden ser complejos, computacionalmente difíciles para su implementación y no siempre producen una variedad suficiente de funciones. nuestro esfuerzo principal se ha centrado en el diseño de métodos de construcción para obtener el mayor número posible de nuevas funciones bent. hay diferentes métodos para obtener funciones bent, muchos de ellos basados en la forma normal algebraica de una función booleana y en la transformada de fourier (o walsh). sin embargo, nosotros utilizamos la representación clásica de las funciones booleanas a través de minterms para construir funciones bent de cualquier número par de variables a partir de otras funciones booleanas de menor número de variables. hemos adoptado esta técnica dada la imposibilidad de obtener, de forma aleatoria, funciones bent de más de 6 variables. la memoria de investigación se divide en cuatro capítulos. en el primer capítulo proporcionamos una extensa introducción sobre la importancia de las funciones booleanas en la criptografía y repasamos brevemente la historia de las funciones bent a lo largo de estas últimas cuatro décadas. además presentamos, de manera breve, los conceptos principales relativos a las funciones booleanas y la notación que necesitaremos para la comprensión de los resultados mostrados en esta memoria. por último, introducimos algunas de las construcciones clásicas de funciones bent más conocidas, lo que nos permitirá poder realizar una comparación exhaustiva con los métodos de construcción que presentamos en los capítulos siguientes. en el segundo capítulo presentamos dos métodos de construcción de funciones bent de n+2 variables basados en la utilización de funciones bent de n de variables (con n par). calculamos el número de funciones bent distintas que podemos obtener con cada una de dichas construcciones, proporcionando así una cota inferior del número de funciones bent de cualquier número de variables. al final del capítulo, comparamos nuestras construcciones con algunos de los métodos de construcción de funciones bent más conocidos. en el tercer capítulo definimos dos nuevas funciones bent de n variables, denominadas funciones de máximo y mínimo peso, construidas a partir de una función bent de n variables y algunas funciones lineales. analizamos las propiedades principales de estas nuevas funciones y proporcionamos un nuevo método de construcción de funciones bent de n+2 variables basado en el uso de las funciones de máximo y mínimo peso de n variables y de los minterms de 2 variables. introducimos algunos resultados necesarios para contar el número de funciones bent proporcionado por la nueva construcción; y, por último, comparamos dicho método con las construcciones clásicas introducidas al final del primer capítulo mostrando las diferencias entre éstos. y para finalizar, en el último capítulo introducimos el último método de construcción de funciones bent que presentamos en esta memoria. esta construcción se basa en la utilización de funciones booleanas de n variables (ahora con n impar) y en el uso de los cuatro minterms de 2 variables para la obtención de funciones bent de n+1 variables. la diferencia con respecto a las construcciones presentadas anteriormente, es que la generación de estas nuevas funciones bent se basa en el empleo de funciones booleanas de n variables. para la construcción explícita de estas funciones booleanas utilizamos funciones bent de n-1 variables. analizamos algunas propiedades interesantes de las funciones booleanas implicadas en esta nueva construcción, lo que nos permitirá poder obtener la forma explícita de éstas y, por tanto, de la construcción. finalmente, establecemos el número de funciones bent que podemos obtener a través del método introducido en este capítulo y lo comparamos con otros métodos de construcción de funciones bent conocidos. la memoria termina con la relación de la bibliografía utilizada para su elaboración.
Datos académicos de la tesis doctoral «Sobre algunas construcciones de funciones bent«
- Título de la tesis: Sobre algunas construcciones de funciones bent
- Autor: Verónica Requena Arévalo
- Universidad: Alicante
- Fecha de lectura de la tesis: 26/11/2010
Dirección y tribunal
- Director de la tesis
- Joan Josep Climent Coloma
- Tribunal
- Presidente del tribunal: llorení§ Huguet rotger
- pino Caballero gil (vocal)
- leandro Tortosa grau (vocal)
- amparo Fúster sabater (vocal)