Protocolos Criptográficos - CryptULL

DCN basadas en Grafos
♦ La seguridad se basa en un problema difícil de grafos y en la
Elección cuidadosa de G y de la solución, y la
Capacidad computacional del verificador polinomial
♦ Completitud: Si A es honesto el protocolo acaba bien ya que
el isomorfismo y la solución en el grafo isomorfo son válidos
♦ Solidez: Un suplantador de A tendría éxito cuando e=0 si
genera un grafo isomorfo, pero fracasaría con e=1 ya que no
podría resolver el problema en dicho grafo. También podría
generar una solución en un grafo falso respondiendo
correctamente al reto e=1, pero entonces no podría responder
a e=0. Luego la probabilidad de suplantación exitosa es 2 -m
♦ Conocimiento Nulo: B puede diseñar un simulador que
juegue el papel de A generando aleatoriamente un grafo
isomorfo G’, o bien definiendo un grafo G’ adecuado a partir
de una solución. En tiempo polinomial se genera una
perspectiva con distribución de probabilidad indistinguible
Criptografía-ULL