Please enable JavaScript.
Coggle requires JavaScript to display documents.
Esquema hiper elíptico de signocriptación para autenticación del usuario -…
Esquema hiper elíptico de signocriptación para autenticación del usuario
Protocolo de alto nivel de lenguaje de especificación (HLPSL)
Formato intermediario
Comprobadores de Back-end (OFMC, CL,SATMC TA4SP)
Traductor IF
Formato de salida (OF)
AVISPA.- herramienta de verificación de protocolo de seguridad
Modelo On-the-fly. Protocolo de detección de ataques en tiempo real
Árbol automata para el análisis de protocolos de seguridad
Lógica basada en buscadores (CL-AtSE)
SAT - Propone una fórmula y la regresa al State-of-the-art para encontrar y resolver un ataque.
Encriptación método HECC
Encripta mensaje "M" y T = tiempo c=Ekx(M|T)
R= Hky(M|Kx|T), S=D
(n
AN-ds*R)
K=K1+ K2
Selecciona una integral "n" aleatória
Decriptación HECC
Dkx(c)=(M|T)
R' = Hxy (M||Kx||T)=R
K=K1+K2, K=S+(R
P), K2=k1
(1+dn)
