Documentos de Académico
Documentos de Profesional
Documentos de Cultura
donde la probabilidad es sobre los primos p tal que jpj = k, los generadores g
1
1
1 EJEMPLO DE FUNCIONES DE UN SENTIDO 2
Por otro lado, supongamos que g p =q 6 1 (mod p) cualquiera sea q primo tal que
( 1)
qj(p 1). Si g no fuese generador de Zp entonces se tendra que el subgrupo cclico
de Zp generado por g tiene un orden k < p 1 tal que kj(p 1) (por el Teorema
de Lagrange). Sea q el menor primo que divide a s = p k , notar que dicho primo
1
existe pues s > 1. Sigue que g p =q (gk )s=q 1 (mod p), lo que constituye una
( 1)
contradiccion.
Lema 2 Existe un algoritmo del tipo Las Vegas que dado p primo y la factorizacion
de p 1 encuentra un generador de Zp .
Dem: QSea pe primo, y supongamos conocidos los qi primos y ei enteros tales que
p 1 = k q . Recordemos que Z posee '(p 1) generadores distintos. Luego,
i=1 i
i
p
del Lema 1 el algoritmo descrito a continuacion tiene una probabilidad igual a '(p
1)=(p 1) de encontrar un generador de Zp .
1 EJEMPLO DE FUNCIONES DE UN SENTIDO 3
entonces
g es un generador de Zp
en caso contrario
parar (fracaso).
'(p 1)=(p 1) =
(1= log(p 1)).
Teorema 2 Bajo el supuesto fuerte (respectivamente debil) acerca del logaritmo dis-
creto existe una coleccion de funciones de un sentido fuerte (respectivamente debil).
2 Mas aun, se sabe que '(m) > m=(6 log log m) (J. Rosser y L. Schoenfeld, Approximate Formulas
for Some Functions of Prime Numbers, Illinois Journal of Mathematics, Volume 6, 1962, paginas
64{94).
3 (E. Bach, How to Generate Factored Random Numbers, SIAM Journal co Computing, Volume
17, 1988, paginas 179{193).
DE FUNCIONES DE UN SENTIDO DE PUERTA SECRETA 4
2 COLECCION
h i
Pr A((p; g); EXP p;g (x)) = x q(1k) ;
( )
Pr [ A(n; e; RSAn;e(x)) = x ] 1 ;
q (k )
donde la probabilidad es sobre los n 2 Hk , los e 2 Z' n , los x 2 Zn y la fuente
( )
de aleatoreidad de A
Supuesto debil acerca de RSA: Sea Hk = fn = pq j p; q primos, jpj jqjg.
Existe un polinomio q tal que cualquiera sea el adversario A, existe un entero
no-negativo k , tal que si k es al menos k se tiene que
0 0
y el conjunto de funciones
RSA = fRSAn;e : Zn ! Zn j (n; e) 2 I; RSAn;e(x) = xe mod ng :
Del estudio que ya hemos realizado acerca del criptosistema de RSA es facil ver que
se tiene el siguiente resultado.