En el trabajo An equivalence between Varieties of ciclic Post Algebras and Varietiesgenerated by a finite field [1] demostramos una equivalencia entre la variedad V(Lp;k) generada por el álgebra de Post k-cíclica simple de orden p, Lp;k y la variedad V(F(pk)) generada por el cuerpo con pk elementos [F(pk);+; .; F(p)]. La existencia de una interpretación entre ambas variedades nos ha permitido estudiar la resolución de sistemas de ecuaciones polinomiales sobre un álgebra Lp;k, utilizando técnicas usuales del Álgebra Conmutativa en un problema propio de la Lógica Algebraica. En Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras [13] mostramos un camino para resolver un sistema de ecuaciones algebraicas sobre una álgebra de Post cíclica de orden p, con p primo, utilizando la interpretación anterior, bases de Gröbner y algoritmos programados en Maple. En esta tesis describimos un método contructivo que permite obtener a partir de un cuerpo [F(pk);+; . ; F(p)], un álgebra de Post k--cíclica de orden p, con p primo positivo y k > 1. Las operaciones del álgebra de Post cíclica se expresan como términos en el lenguaje del cuerpo, y recíprocamente, las operaciones del cuerpo como términos en el lenguaje del álgebra de Post k-cíclica. Los algoritmos programados en Maple muestran cómo calcular estas operaciones de manera efectiva. De esto se deduce una interpretación 1 entre la variedad V(Lp;k) y la variedad V(F(pk)), y una interpretación 2 de V(F(pk)) en V(Lp;k) tal que 2 1 (B) = B para toda álgebra B 2 V(Lp;k) y 1 2(R) = R para todo R 2 V(F(pk)). Esta equivalencia permite analizar la existencia y búsqueda de soluciones de un sistema de ecuaciones polinomiales en Lp;k[X1,...,Xn]. Mostramos en este trabajo dos caminos diferentes para la resolución de estos sistemas. El primer camino consiste en aplicar la interpretación 1 para obtener la expresión de una ecuación algebraica postiana en el lenguaje de F(pk)[X1,...,Xn] y así poder expresar todas las ecuaciones del sistema en F(pk)[X1,...,Xn]. De esta forma es posible buscar una base de Gröbner del ideal generado por los polinomios del sistema, analizar la existencia de soluciones y organizar su búsqueda. Aplicando luego la interpretación 2 obtenemos un sistema equivalente al original en el lenguaje postiano de Lp;k[X1,...,Xn]. Completamos esta idea presentando varios ejemplos que explican detalladamente el método propuesto junto con los algoritmos que muestran a un mismo polinomio en ambos anillos. El segundo camino consiste en definir el concepto de base de Gröbner de un ideal I en Lp;k[X1,...,Xn] utilizando nuevamente las interpretaciones 1 y 2. Explicamos este proceso en general y en el caso particular de p = 2 y k = 1, damos un algoritmo de división y un teorema para calcular el S-polinomio de dos polinomios en dos variables. Enunciamos las dificultades que se presentan al buscar directamente una base de Gröbner de un ideal I en Lp;k[X1,...,Xn] cuando p > 3, destacando que a pesar de las mismas, resulta interesante poder dividir en un anillo de polinomios sobre una estructura algebraica ordenada. / In the work An equivalence between Varieties of ciclic Post Algebras and Varieties generated by a finite field [1] we proved an equivalence between the variety V(Lp;k) generated by the simple k-cyclic Post algebra of order p, Lp;k, and the variety V(F(pk)) generated by the finite field with pk elements [F(pk);+; .; F(p)]. The existence of an interpretation between both varieties has let us study the resolution of algebraic systems of equations over an algebra Lp;k, using usual techniques of Commutative Algebra in a problem of Algebraic Logic. In Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras [13] we show a way to solve an algebraic system of equations over a cyclic Post algebra of order p, with p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. In this thesis, we describe a constructive method which lets obtain from a field [F(pk);+; .; F(p)], a k-cyclic Post algebra of order p, with p prime and k>1. The Post cyclic algebra operations are expressed as terms in the language of the field, and conversely, the field operations as terms in the language of cyclic Post algebras. The algorithms programmed in Maple show how to calculate these operations effectively. From this, we deduce an interpretation 1 between the variety V(Lp;k) and the variety V(F(pk)) and an interpretation 2 of V(F(pk)) into V(Lp;k) such that 2 1(B) = B for every B 2 V(Lp;k) and 1 2(R) = R for every R 2 V(F(pk)). This equivalence lets us analyze the existence and search for solutions of an algebraic system of equations in Lp;k[X1,...,Xn]. In this work we show two differents ways for the resolution of these systems. The first way consists in applying the interpretation 1 in order to obtain the expression of a postian algebraic equation in the language of F(pk)[X1,...,Xn] and so we could show all the equations of the system in F(pk)[X1,...,Xn]. In this way, it is possible to find a Gröbner base of the ideal generated by the polynomials of the system, analyze the existence of solutions and organize its search. We complete this idea giving some examples which explain in detail the proposed method with the algorithms which show the same polynomial in both rings. The second way consists in defining the concept of Gröbner base of an ideal in Lp;k[X1,...,Xn] using again the interpretations 1 and 2. We explain this process in general and in the particular case of p = 2 and k = 1, we give a division algorithm and a theorem to calculate the S-polynomial of two polynomials in two variables. We enunciate the difficulties which are presented while finding directly a Gröbner base of an ideal I in Lp;k[X1,...,Xn] when p > 3, emphasizing that, despite them, it is interesting the fact that we could divide in a ring of polynomials over an ordered algebraic structure

En la presente tesis se ha llevado a cabo una investigación en el ámbito de la criptografía centrada en los criptosistemas basados en curvas elípticas. En concreto, se ha desarrollado un modelo de criptoprocesador de curvas elípticas en GF(2m) con el objetivo de abordar los requisitos, cada vez más en boga, de utilizar la menor cantidad de recursos posible y a la vez minimizar los tiempos de respuesta obtenidos. De forma más específica, uno de los objetivos se dirige a desarrollar un multiplicador capaz de trabajar de forma eficiente en cualquier campo GF(2m) independientemente de cuál sea el tamaño de palabra seleccionado para operar. Para llevar a cabo este objetivo se ha realizado un análisis de los antecedentes y de los trabajos relacionados con el ámbito de la problemática predefinida. Este análisis nos ha permitido centrar el problema y a partir de éste plantear una solución novedosa con respecto al resto de enfoques existentes en este campo de investigación. Se ha implementado un microprocesador de 8 bits de propósito general en hardware reconfigurable minimizando su repertorio de instrucciones. A partir de él se han obtenido los resultados que nos proporcionan su programación en el lenguaje ensamblador descrito y se propone como propuesta de mejora la inclusión de un elemento multiplicador que disminuya los tiempos de respuesta. Para ello se introducen los multiplicadores existentes en la actualidad; tanto de tipo paralelo como serie. Posteriormente, como propuesta de mejora real, se ha desarrollado un multiplicador hardware específico capaz de trabajar en GF(2m) y con reducción intercalada que puede ser utilizado en cualquier sistema sea cual sea su campo de trabajo e independientemente del tamaño de palabra que utilice. Este multiplicador se ha implementado con diferentes tamaños de palabra y en los campos finitos de característica 2 recomendados por el N.I.S.T. Como paso final para validar este multiplicador se ha implementado varios modelos de un criptoprocesador con un repertorio de instrucciones específico con diferentes tamaños de palabra y en diferentes campos y se han comparado con los existentes para comprobar la eficiencia de la propuesta.