Logaritmo discreto
Mateo Sanabria Ardila
Introducción a la criptografía
Alice
BOB
Intercambio de claves
a = K_{prA} \in \{2, \cdots ,p-2\}
b = K_{prB} \in \{2, \cdots ,p-2\}
A \equiv \alpha^{a} \ mod \ p = K_{pubA}
B \equiv \alpha^{b} \ mod \ p = K_{pubB}
K_{AB} \equiv B^a \ mod \ p
K_{AB} \equiv A^b \ mod \ p
Por qué esto es Valido?
Algebra de colegio...
B^a = (\alpha ^ b) ^ a = \alpha^{ab} \ mod \ p
A^b = (\alpha ^ b) ^ a = \alpha^{ab} \ mod \ p
Grupos finitos
Un grupo es un conjunto de elementos y una operación (G,*) que satisface las siguientes propiedades:
-
La operación * es cerrada en G
-
La operación * es asociativa
-
Existe un elemento neutro
-
Para cada elemento en G existe su *-inverso
Un grupo (G,*) es abeliano si la operacion * es conmutativa
(\mathbb{Z}_9,*) \ es \ un \ grupo? \\
Donde \ a * b \equiv a * b \ mod \ 9
NO! el inverso multiplicativo modular solo existe para números que cumplan: gdc(a,9) = 1
\mathbb{Z}^{*}_{n} = \{ i \in \mathbb{Z} \ | \ gcd(i,n) = 1 \}
Z* forma un grupo abeliano bajo la multiplicación modulo n, la identidad de este grupo es e=1. Z* se llama el grupo multiplicativo modulo n.
Sea \ a \in \mathbb{Z}^{*}_{11} \ tal \ que \ a =3,4,5
Como son las potencias de a?
que pasa en el caso a = 2?
El orden ord(a) de un elemento a en un grupo (G,*) es el menor entero k tal que:
a^k =a * a * \cdots * a = 1
Un grupo (G,*) que contenga un elemento con máximo orden se llama un grupo cíclico. Los elementos de G con orden máximos son llamados: generadores.
a = 2 \ es \ un \ generador \ de \ \mathbb{Z}^{*}_{11}
p \in \mathbb{P} \rightarrow (\mathbb{Z}^{*}_{p}) es \ un \ GAC
Propiedades grupos ciclicos
a^{|G|} = 1
|G| \ \ | \cdot ord(a)
Para que todo esto?
Manos a la obra
Basado en lo que se ha visto, es posible encontrar x tal que se cumpla la siguiente ecuación, de ser así por que?
5^x \equiv 40 \ mod \ 47
Que tan difícil es?
Problema del logaritmo discreto
Dados \ p,\beta \in \mathbb{Z}^{*}_{p} \ y \ un \ generador \ \alpha
econtrar \ x \ tal \ que
\alpha^x \equiv \beta \ mod \ p
deck
By Mateo Sanabria Ardila
deck
- 142