Protocolo de Ko-Lee-Cheon-Hang-Park
# Protocolo de Ko-Lee-Cheon-Hang-Park

El protocolo Ko-Lee-Hang-Park es un protocolo de clave pública que usa grupos no abelianos. Fue propuesto por Ki Hyoung Ko, Sang Jin Lee, Jung Hee Cheon, Jae Woo Han, Ju-sung Kang y Choonsik Park. Utiliza el fundamento de que los grupos trenza pueden servir como una buena fuente de enriquecimiento para la criptografía, lo cual incluye lo siguiente:

* El problema de la palabra es solucionado por medio de un algoritmo rápido que computa la forma canónica que puede ser manejada de manera eficiente por computadores.
* Las operaciones de grupo pueden ser ejecutadas de manera eficiente.
* Los grupos de trenzas tienen algunos problemas matemáticos difíciles que pueden ser utilizados para diseñar primitivos criptográficos.

También tiene como fin proponer e implementar un protocolo de acuerdo de llave y sistema criptográfico de llave pública que puede ser utilizado para diseñar primitivas criptográficas. La seguridad de este sistema está basada en problemas topológicos, combinatorios y teóricos de grupos que son intractibles de acuerdo al actual conocimiento matemático. La fundamentación de este sistema es diferente a la mayoría de criptosistemas usados en teoría de números, pero existen algunas similitudes en el diseño.

## Antecedentes

Desde que Diffie y Hellman presentaron por primera vez un criptosistema de llave pública usando funciones de una sola vía, algunos sistemas de cifrado de llave pública han sido vulnerados. Muchos de los sistemas de cifrado de llave pública requieren una gran cantidad de números primos. La dificultad de factorización de enteros con una gran cantidad de factores primos forma la base del sistema RSA y sus variantes como la de Rabin-Williams, el esquema de LUC o el cifrado de curva elíptica. También la dificultad del problema de algoritmo discreto forma la base de los cifrados tipo Diffie-Hellman como ElGamal.

Ha habido bastantes esfuerzos para desarrollar cifrados de llave pública alternativos que no están basados en la teoría de números. El primer intento fue usar los problemas de dificultad NP en combinatoria como el cifrado Merkle-Hellman y sus modificaciones. Algunos criptógrafos han sido pesimistas acerca de la criptografía combinatoria después del desciframiento del cifrado de clave pública tipo Knapsack realizado por Shamir, Brickell, Lagarias, Odlyzko, Vaudenay y otros. La mayoría de los criptosistemas derivados de la teoría de grupos combinatorios son principalmente teóricos o tienen ciertas limitaciones en la práctica amplia y general.

## Descripción de funcionamiento

Para este protocolo de encriptación se utiliza una función unidireccional basada en el problema de conjugación en grupos trenzados, y de esta función se derivara un protocolo de establecimiento de clave y un protocolo de clave pública.

### Función unidireccional

Si consideramos dos subgrupos $LB_{l}$ y $RB_{r}$ que pertenecen a $B_{l+r}$, tales que $LB_{l}$ son las trenzas formadas al trenzar las trenzas izquierdas entre $l+r$ , es decir, que las trenzas $1,2,...,l$ son las únicas que están trenzadas, y las trenzas $l+1,l+2,...,r$ no lo están. De forma similar el subgrupo $RB_{r}$ son las trenzas formadas por las trenzas trenzadas de la derecha, es decir que las trenzas $l+1,l+2,...,r$ están trenzadas, pero las trenzas $1,2,...,l$ no están trenzadas. De esta forma, cada subgrupo se genera así:

$LB_{l}$ se genera por $σ_{1},$ $σ_{2},...,$ $σ_{l-1},$ y el subgrupo $RB_{r}$ se genera por $σ_{l+1},$ $σ_{l+2},...,$ $σ_{r-1}.$

En la función también debe considerarse la propiedad conmutativa de los grupos trenza que dice que $σ_{i}σ$$_{j}=$ $σ_{j}σ_{i}$ para $|i-j|$ ≥ $2$. Así, se puede decir que para cualquier $a$ Є $LB_{l}$ y $b$ Є $RB_{r}$, entonces $ab=ba$. Así, se tiene que la función es:

$f:LB_{l}$ × $B_{l+r}$ → $B_{l+r}$ × $B_{l+r}$, $f(a,x)=(axa^{-1})$

Esta función es unidireccional debido a que dados $(a,x)$ es fácil calcular $axa^{-1}$, pero requiere un tiempo exponencial para calcular $a$ conociendo $(axa^{-1},x)$, y en esto se basa la seguridad de este protocolo criptográfico. En este aspecto es similar al protocolo de Diffie-Hellman, ya que el rol de $x$ es similar al de $g$ en el protocolo Diffie-Hellman.

### Establecimiento de clave

* Paso de preparación: Se eligen dos enteros $l$ y $r$ tales que la trenza $x$ de orden $l+r$ es suficientemente complicada, y luego esta se publica.
* Paso de establecimiento de clave:
   * Alice escoge un $a$ Є $LB_{l}$ aleatoriamente y le envía $y_{1}=axa^{-1}$ a Bob
   * Bob escoge un $b$ Є $RB_{r}$ aleatoriamente y le envía $y_{2}=bxb^{-1}$ a Alice
   * Alice recibe $y_{2}$ y calcula la clave compartida $K=ay_{2}a^{-1}$
   * Bob recibe $y_{1}$ y calcula la clave compartida $K=by_{1}b^{-1}$

Como se sabe que $ab=ba$, entonces:

$K=ay_{2}a^{-1}=a(bxb^{-1})a^{-1}=b(axa^{-1})b^{-1}=by_{1}b^{-1}$

Obteniendo Alice y Bob la misma trenza.

### Protocolo de clave pública

Usando el establecimiento de clave anterior, ahora se toma una función hash $H:B_{l+r}$ → {$0,1$$}^{k}$ que se adapte del grupo de trenzas al mensaje que se quiere encriptar.

* Generación de clave:
   * Se escoge un $x$ Є $B_{l+r}$ suficientemente complicado
   * Se escoge una $a$ Є $LB_{l}$
   * Se define la clave pública como $(x,y)$, donde $y=axa^{-1}$, y la clave privada sería $a$
* Encriptación: Tomando el mensaje $m$ Є {$0,1$$}^{k}$ y la clave pública definida
   * Se escoge una trenza cualquiera $b$ Є $RB_{r}$
   * Obteniendo así el texto cifrado $(c,d)$, donde $c=bxb^{-1}$ y $d=H(bxb^{-1})*m$
* Descifrado:
   * Con el texto cifrado y la clave privada se calcula $m=H(aca^{-1})*d$

Como $a$ y $b$ conmutan, entonces $aca^{-1}=abxb^{-1}a^{-1}=baxa^{-1}b^{-1}=byb^{-1}$. Así que $H(axa^{-1})*d=H(bxb^{-1})*H(axa^{-1})*m$ recuperando así el mensaje original. Para este protocolo debe elegirse un $x$ lo suficientemente complicado para evitar la “factorización” de $x$ en $x_{1}x_{2}z$, donde $x_{1}$ Є $LB_{l}$, $x_{2}$ Є $RB_{r}$ y $z$ es una trenza de orden $l+r$ conmutable con $LB_{l}$ y $RB_{r}$. Esto es así ya que si es posible descomponer fácilmente $x$, entonces:

$byb^{-1}=(ax_{1}a^{-1})(bx_{2}b^{-1})z$ sería fácil de calcular usando $y_{1}=(ax_{1}a^{-1})x_{2}z$ y $y_{2}=x_{1}(bx_{2}b^{-1})z$ sin conocer $a$ o $b$.

## Operación del protocolo

Se discuten las características operativas teóricas del protocolo propuesto y los parámetros de seguridad / longitud del mensaje para futuras implementaciones, esto debido a que en el protocolo Ko-Lee-Cheon-Hang-Park no es posible comparar su desempeño con el de otros cifrados de clave pública. Recordemos que el protocolo usa tres hebras: $x\in B_{\ell +r},a\in LB_{\ell }$ y $b\in RB_{r}$, y el texto cifrado es $(bxb^{-1},H(abxa^{-1}b^{-1}\oplus m))$. Cuando se trabaja con hebras, debemos considerar dos parámetros, el índice de la hebra y la longitud canónica. Por simplicidad, asumimos que los índices de las hebras en nuestro protocolo son $l=r={\frac {n}{2}}$ y las longitudes canónicas son $len(x)=len(a)=len(b)=p$. Las siguientes son las discusiones acerca de las características de operación del protocolo:

* Una $n-$permutación puede ser representada por un entero $0\leq N<N!$. Mientras $n!~exp(nlogn)$, una hebra con $p$cantidad de factores canónicos puede ser representada por una cadena de bits de tamaño $pn\;log\;n$.
* Para trenza $y_{1},y_{2}\in B_{n},len(y_{1},y_{2})\leq len(y_{1})+len(y_{2})$ y para $y_{1}\in LB_{\ell },y_{2}\;\in \;RB_{r},len(y_{1},y_{2})=max(len(y_{1}),len(y_{2}))$. Entonces $len(bxb^{-1})$ y $len(abxa^{-1}b^{-1})$ son a lo sumo $3p$. Para selecciones genéricas de $a,b$ y $x$, estos son no menores que $2p$. Además, asumimos que $len(bxb^{-1})$ y $len(abxba^{-1}b^{-1})$ están entre $2p$ y $3p$.
* El tamaño de la llave privada $a$ es $p\ell \;log\;\ell \;~p{\frac {n}{2}}log{\frac {n}{2}}~{\frac {1}{2}}pn\;log\;n$.
* El tamaño de la llave pública $bxb^{-1}$ es a lo sumo $3pn\;log\;n$.
* La dificultad de un ataque de fuerza bruta para computar de $a$ a $axa^{-1}$, o de manera equivalente, calcular $b$ de $bxb^{-1}$, es proporcional a $(\ell !)^{p}=({\frac {n}{2}}!)^{p}\;~\;exp({\frac {1}{2}}pn\;log\;n)$

Estadísticas de operación del protocolo :

| Bloque de texto plano | bits de $pn\;log\;n$ |
| - | - |
| Bloque de texto cifrado | bits de $4pn\;log\;n$ |
| Velocidad de encriptado | $O(p^{2}n\;log\;n)$ |
| Velocidad de desencriptado | $O(p^{2}n\;log\;n)$ |
| Expansión de mensajes | $4-1$ |
| Longitud de llave privada | bits de${\frac {1}{2}}pn\;log\;n\;bits$ |
| Longitud de llave pública | bits de $3pn\;log\;n$ |
| Dificultad de un ataque de fuerza bruta | $({\frac {n}{2}}!)^{p}\;~\;exp({\frac {1}{2}}pn\;log\;n)$ |

## Análisis de seguridad

### Similitudes con el esquema de ElGamal

El protocolo es similar al protocolo de ElGamal en diseño y tiene las siguientes propiedades:

* El problema de romper el protocolo Ko-Lee-Cheon-Hang-Park es equivalente a resolver el problema base, al igual que en el rompimiento del protocolo de ElGamal es equivalente a resolver el problema de Diffie-Hellman. En el esquema propuesto, el texto cifrado es:

$(c,d)=(bxb^{-1},H(abxa^{-1}b^{-1})\;\oplus \;m)$

Y desencriptar el texto cifrado $m$ en un texto plano $m$ es equivalente a conocer $abxa^{-1}b^{-1}$

* Como cualquier otro sistema de cifrado de llave pública, es crítico usar una llave $b$ diferente para cada sesión: Si la misma llave de sesión $b$ es usada para encriptar $m_{1}$ y $m_{2}$ cuyos textos cifrados correspondientes son $(c_{1},d_{1})$ y $(c_{2},d_{2})$, luego $m_{2}$ puede ser fácilmente computado de $(m_{1},d_{1},d_{2})$ porque $H(byb^{-1})\;=\;m_{1}\;\oplus \;d_{1}\;=\;m_{2}\;\oplus \;d_{2}$.

### Ataque de fuerza bruta

Un posible ataque de fuerza bruta es computar $a$ de $axa^{-1}$ o $b$ de $bxb^{-1}$,lo cual es justamente un ataque al problema generalizado de búsqueda conjugada. Asuma que le ha sido dada una pareja $(x,y)$ de trenzas en $B_{\ell +r}$, tal que $y=axa^{-1}$ para algún $a\;\in \;LB_{\ell }$. La trenza $a$ puede ser elegida de un grupo infinito $LB_{\ell }$ en teoría. Pero en un sistema práctico, el adversario puede generar todas las trenzas $a\;=\;\Delta ^{u}A_{1}\dots A_{p}$ en la forma canónica con algún límite razonable para $p$ y revisar el punto en el que $y\;=\;axa^{-1}$ corresponde.

El número necesario es como mínimo $({\frac {\ell -1}{2}}!)^{p}$. Si el $\ell \;=\;45$ y $p\;=\;2$, luego $({\frac {\ell -1}{2}}!)^{p}\;>\;2^{139}$, lo cual muestra que el ataque de fuerza bruta es inútil.

