Artículo:
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

Fecha

2021-09-22

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia Creative Commons

Resumen

Publicado en 25th European Symposium on Research in Computer Security (ESORICS 2020).

Descripción

Acerca de Aparicio Sanchez, Damian

Palabras clave

Bilinear Pairing, Crypto Protocol Analysis, Diffie-Hellman Exponentiation, Protocol Transformation
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX