RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Bilinear pairing"

Mostrando ítems 1-2 de 2

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA

Aparicio-Sánchez, Damián; Escobar Román, Santiago; Gutiérrez Gil, Raúl; Sapiña-Sanchis, Julia (Springer Nature, 2020-09-18)

[EN] Maude-NPA is an analysis tool for cryptographic security protocols that takes into account the algebraic properties of the cryptosystem. Maude-NPA can reason about a wide range of cryptographic properties. However, ...
Pairing-based authentication protocol for V2G networks in smart grid

Roman, Luis F. A.; Gondim, Paulo R. L.; Lloret, Jaime (Elsevier, 2019-07)

[EN] Vehicle to Grid (V2G) network is a very important component for Smart Grid (SG), as it offers new services that help the optimization of both supply and demand of energy in the SG network and provide mobile distributed ...

Mostrando ítems 1-2 de 2