AMPLIACIÓN DE MATEMÁTICAS. CIFRADO EN FLUJO. Un mensaje digital no es más que una colección de 0 s y 1 s ordenados. Por ejemplo: ,

Documentos relacionados
AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

Ampliación Matemática Discreta. Justo Peralta López

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS. a = qm + r

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS

AMPLIACIÓN DE MATEMÁTICAS DIVISIBILIDAD DE POLINOMIOS.

AMPLIACIÓN DE MATEMÁTICAS. DIVISIBILIDAD DE NÚMEROS ENTEROS. En el conjunto de los números enteros

AMPLIACIÓN DE MATEMÁTICAS

SUBSUCESIONES. Las sucesiones convergentes son acotadas, como hemos visto. El recíproco no es cierto. No toda sucesión acotada es covergente.

Definición 1. Dado un conjunto C una aplicación definida por : C C C

La estructura de un cuerpo finito.

Ampliación Matemática Discreta. Justo Peralta López

AMPLIACIÓN DE MATEMÁTICAS

TEMA 2. ESPACIOS VECTORIALES

Anexo: El anillo de polinomios K[x].

(x r, x + r) (a, b). a < x r < y < x + r < b. Ahora nos fijamos en la propiedad anterior y en todos los subconjuntos de R que tienen esa propiedad.

En Geometría Elemental hemos aprendido a representar algunas curvas planas. ax + by = d, con a, b R. y = x b + d b,

Introducción a la Teoría de Códigos

Cuerpos Finitos. XXVII Escuela Venezolana de Matemáticas EMALCA. Edgar Martínez-Moro Sept. 2014

4.1 Anillo de polinomios con coeficientes en un cuerpo

El Teorema Fundamental del Álgebra

XXVII Escuela Venezolana de Matemáticas EMALCA. Códigos (I) Edgar Martínez-Moro Sept. 2014

f n (x), donde N N n=1 f n(x), donde x A R,

DERIVADAS DE FUNCIONES DE VARIAS VARIABLES. Curvas Paramétricas. Dada una curva paramétrica

Relación 1. Espacios vectoriales

Ampliación Matemática Discreta. Justo Peralta López

Introducción a la Teoría de Códigos

Algebra I Segundo Cuatrimestre 2006

Aplicaciones de la teoría de grupos, anillos y cuerpos: Teoría de la Codificación

Teorema de Cayley-Hamilton

Sea A el conjunto de alumnos de una clase.

UNIVERSIDAD DE CONCEPCION FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS DEPARTAMENTO DE INGENIERIA MATEMATICA

Álgebra I Práctica 5 - Polinomios

Introducción a la Teoría de Códigos

ALGEBRA LINEAL Segundo Semestre. Parte II

Departamento de Ingeniería Matemática - Universidad de Chile

Expresiones algebraicas

Lista de problemas de álgebra, 2016

Álgebra Lineal. Tema 4. Espacios vectoriales de dimensión infinita

Introducción a la Teoría de Códigos

AN ALISIS MATEM ATICO B ASICO. POLINOMIOS DE TAYLOR. DEFINICI ON. Vamos a considerar una funcion polinomica. P (0) = a 0. P 00 (0) = 2a 2.

Bloque I Criptografía

Álgebra I Práctica 7 - Polinomios

Matemáticas para la Empresa

AMPLIACIÓN DE MATEMÁTICAS

Álgebra I Práctica 5 - Polinomios

6 Vectores. Dependencia e independencia lineal.

Álgebra I Práctica 5 - Polinomios

Los isomorfismos básicos de la teoría de cuerpos algebraicos.

a ij x i x j = [x] t B A+At ) t = At +(A t ) t = At +A x i x j + a ij + a ji x j x i = s ij x i x j + s ji x j x i 2

Euclides Extendido y Teorema Chino del Resto

Álgebra y Álgebra II - Segundo Cuatrimestre 2017 Práctico 4 - Espacios Vectoriales

Definición. 1. Se define la función logaritmo (neperiano ) por. ln x =

MONOMIOS Y POLINOMIOS

Capítulo 4: Polinomios

Apéndice 5: Diagonalización de matrices

Figura 1. Círculo unidad. Definición. 1. Llamamos número π (pi) al valor de la integral

Coordinación de Matemática II (MAT022)

Introducción a la Teoría de Códigos

Ejercicios tipo test de las lecciones 1 y El vector e = ( 1, 0, λ) está en el plano generado por los vectores u = (1, 2, 1) y

Tema 1: Nociones básicas del Álgebra Lineal.

a n1 a n2 a nn x n a ij x i x j = [x] t B A+At ) t = At +(A t ) t = At +A x j x i = s ij x i x j + s ji x j x i 2 x i x j + a ij + a ji

TEORÍA DE NÚMEROS Curso 2004/2005 Lista 1

Álgebra I Práctica 7 - Polinomios

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

ALGEBRA III Práctica 1

Álgebra Lineal. Departamento de Matemáticas Universidad de Los Andes. Primer Semestre de 2007

Tema 4: Espacios vectoriales

AN ALISIS MATEM ATICO B ASICO. N = f0; 1; 2; :::; 8; 9; 10; ::::; 87; 88; :::::; n; n + 1; (n + 1) + 1; ::::g: Figura 1. Los numeros naturales.

Universidad Nacional de Colombia Departamento de Matemáticas Álgebra Lineal Básica - Grupo 3 Taller 3

k, k 0, H G subgrupo X H

ALGEBRA III Práctica 1

Apéndice 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas. . Analizando el

1. Ecuaciones lineales en cuerpos finitos

MANUAL SOBRE FIRMA ELECTRÓNICA

a n1 a n2 a nn Es decir, una forma cuadrática es un polinomio homogéneo de grado 2 y n variables.

Aplicaciones de la teoría de Galois

LA FUNCIÓN f VISTA A TRAVÉS DE f Y f.

520142: ALGEBRA y ALGEBRA LINEAL

Espacios vectoriales reales

Teoría de la Dimensión

CURSO CERO DE MATEMATICAS. Apuntes elaborados por Domingo Pestana Galván. y José Manuel Rodríguez García

Tema 2 Algebra. Expresiones algebraicas Índice

Exámenes de álgebra básica de enero de Grupos 1 y 3.

FUNCIONES REALES DE UNA VARIABLE CONCEPTOS FUNDAMENTALES

Criptografía de clave pública Sistemas basados en el problema de la mochila

POLINOMIOS. El grado de un monomio es la suma de todos los exponentes de las letras o variables.

ÁLGEBRA LINEAL I NOTAS DE CLASE UNIDAD 2

DEFINICIÓN DE DERIVADA.

Capítulo 4: Polinomios

Examen Final Soluciones (3 horas) 8 de julio de 2015

CONCEPTOS BÁSICOS DE ESPACIOS VECTORIALES Alumno. Cristina Mª Méndez Suero

Transcripción:

AMPLIACIÓN DE MATEMÁTICAS CIFRADO EN FLUJO Un mensaje digital no es más que una colección de 0 s y 1 s ordenados Por ejemplo: 0010110010 Una forma de cifrar (de enmascarar) el menaje es la siguiente: tomamos una sucesión periódica de 0 s y 1 s, por ejemplo 010010010010etc (ésta tiene un periodo tres ); para cifrar nuestro mensaje le sumamos nuestra sucesión periódica (término a término en Z 2 ); por ejemplo 0010110010 +0100100100 0110010110, (no confundir con la suma de números en base dos); esta suma es el mensaje a enviar; para descifrar el mensaje enviado se vuelve a sumar nuestra sucesión periódica; por ejemplo llegando al mensaje original 0110010110 +0100100100 0010110010, Este es un método de cifrado simétrico, en el sentido de que necesitamos la misma clave tanto para cifrar como para descifrar Para este sistema de encriptación necesitamos una máquina que genere 0 s y 1 s Para ello vamos a considerar una función: f : {0, 1} n {0, 1} (s 0, s 1,, s n 1 ) f((s 0, s 1,, s n 1 )) = s n 1

2 C RUIZ y construimos una máquina FSH (feedback shift registers) Figura 1 Máquina FSH Esta máquina FSH, de longitud n, contine n celdas de memoria Al principio, juntas forman un estado inicial (s 0, s 1,, s n 1 ) La función f toma el estado inicial y nos devuelve un valor s n, con el cuál el estado inicial se transforma en (s 1, s 2,, s n ) y la máquina nos da como salida (ouput) el valor s 0 Al repetirse el proceso la máquina tiene como salida una sucesión de ceros y unos: s 0, s 1,, s n 1, s n, s n+1 Observación 1 a: La función f más sencilla que podemos tomar es una función lineal, es decir algo de la forma f((s 0, s 1,, s n 1 )) = c 0 s 0 + c 1 s 1 + + c n 1 s n 1 = s n, con c 0, c n 1 Z 2 ; siempre se toma c 0 = 1 y donde vemos que solo intervienen sumas y productos Con una función de este tipo es muy fácil construir físicamente una máquina LFSH (linear feedback shift registers) Figura 2 Máquina LFSH

APUNTES AM 3 Se puede probar que cualquier función f en la construccción de una máquina FSH se puede sustituir por otra función g lineal b: Toda máquina finita genera un proceso periódico Por ello, solo podemos esperar de nuestra máquina LFSH que produzca una sucesión periódica de ceros y unos (s 0, s 1, s n 1 ) = (s j ) j=0 de modo que s j+k = s j para dodo j N y para cierto k N (el periodo) En nuestro ejemplo de arriba el periodo k = 3 c: Para que la sucesión periódica de ceros y unos (s j ) j=0 tenga buenas propiedades criptográficas se necesita que: el periodo k sea grande partiendo de un n asumible físicamente (el estado inicial consta de n registros prefijados) Que la sucesión (s j ) j=0 parezca casi aleatoria (es decir que se parezca a un ruido mezclado por azar en el mensaje y no algo generado por una máquina) Que sea fácil de obtener y manejar El problema que tenemos entre manos es elegir adecuadamente las coeficientes de la función n 1 f(s 0, s 1,, s n 1 ) = c i s i = s n i=0 o en forma matricial 0 1 0 0 0 0 0 1 0 0 ( ) 0 0 0 0 0 1 c 0 c 1 c n 2 c n 1 s 0 s 1 s n 2 s n 1 = s 1 s 2 s n 1 s n de modo que la sucesión periódica de salida (s j ) j=0 tenga las mejores propiedades criptográficas señaladas en la Observación anterior En primer lugar veamos cuánto de grande es la sucesión de salida Lema 1 Un LFSH de longitud n genera a lo más una sucesión de periodo 2 n 1 mód 2

4 C RUIZ Demostración: Partimos siempre de un estado inicial (s 0, s 1,, s n 1 ) (0, 0,, 0), el estado inicial nulo solo genera la sucesión nula Como al menos c 0 0, partiendo del estado inicial, generamos los estados (s 1, s 2,, s n ), (s 2, s 3,, s n+1 ), etc Como s j solo puede tomar dos valores (0 o 1), el núnero de estados distintos solo pueden ser a lo más 2 n 1 (el estado nulo (0, 0,, 0) nunca se produce por la transformación ( ), repasa el Algebra Lineal de Primer curso) Y por tanto en el estado 2 n -ésimo hay seguro una repetición Observación 2 2 n 1 es el orden del grupo cíclico multiplicativo ((Z 2 [x]/p(x)), ) donde p Z 2 [x] es un polinomio irreducible de grado n Estamos ante una simple coincidencia? La respuesta es que no Definición 1 Dada una función líneal f : Z n 2 Z 2 (s 0, s 1,, s n 1 ) f((s 0, s 1,, s n 1 )) = c 0 s 0 + c 1 s 1 + + c n 1 s n 1 = s n, con c 0 0, se llama polinomio característico de la función lineal f al polinomio p Z 2 [x] definido por p(x) = c 0 + c 1 x + + c n 1 x n 1 + x n Si p es irreducible, como es de grado n, el cuerpo que genera Z 2 [x]/p tiene cardinal 2 n El grupo multiplicativo ((Z 2 [x]/p(x)), ) tiene orden 2 n 1 y es cíclico Así podemos encontrar ( aunque esto no es nada sencillo!) un elemento primitivo α ((Z 2 [x]/p(x)), ) que tiene la propiedad de ser un generador del grupo Asociado a él podemos encontrar un polinomio mínimo q(x) con respecto a Z 2 [x], es decir un polinomio mónico irreducible de grado n de modo que q(α) = 0 Este polinomio sabemos que existe y lo llamamos polinomio primitivo asociado a α Sea q(x) = c 0 + c 1x + + c n 1x n 1 + x n donde c 0 0 (en otro caso no sería irreducible)

APUNTES AM 5 Observación 3 Se puede probar que si el polinomio p Z 2 [x] asociado a una función lineal f es primitivo, entonces la sucesión de ceros y unos (s j ) j=0 que genera f tiene período máximo, es decir 2 n 1 (Lo cuál solo ocurre si p es primitivo) Además, se puede ver que la sucesión tiene buenas propiedades criptográficas, en el sentido de que la sucesión (s j ) j=0 es casi aleatoría (concepto que no tenemos tiempo de explicar en esta asignatura) Por lo anterior, es importante conocer los polinomios irreducibles y entre ellos los primitivos sobre Z 2 [x] de cualquier grado Este estudio ya queda fuera de nuestras posibilidades Referencias Departamento de Análisis Matemático, Facultad de Matemáticas, Universidad Complutense, 28040 Madrid, Spain E-mail address: Cesar Ruiz@matucmes