Protocolos Criptográficos - CryptULL

DCN: Protocolo de Fiat-Shamir
• La seguridad se basa en el problema de la residuosidad
cuadrática
• Completitud: Con participantes honestos el protocolo acaba bien
siempre ya que y 2 =r 2 ≡xv 0 (mod n) y y 2 ≡ r 2 s 2 ≡xv 1 (mod n)
• Solidez: Un suplantador de A que no conozca s tendría éxito si
e=0, pero sería detectado cuando e=1. También podría elegir
cualquier valor r y usar x=r 2 /v e y=r para responder al reto e=1
correctamente, pero entonces sería incapaz de responder cuando
e=0. Luego la probabilidad de suplantación exitosa es 2 -m
• Conocimiento Nulo: La respuesta y=r no depende del secreto s.
Por otra parte, la respuesta y≡rs(mod n) no proporciona
información alguna sobre s dada la aleatoriedad del número
secreto r. De hecho, la información (x,y) recibida por B podría
haberla generado él solo mediante un simulador que eligiera
aleatoriamente y, y definiera x=y 2 óbien x≡y 2 /v (mod n), ya que
en un número de pasos polinomial estaría asegurada una
simulación con idéntica distribución de probabilidad
Criptografía-ULL