Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Formal verification"

Mostrando ítems 1-5 de 5

An optimal secure and reliable certificateless proxy signature for industrial internet of things

Ullah, R; Mehmood, Amjad; Khan, Muhammad Altaf; Maple, Carsten; Lloret, Jaime (Springer-Verlag, 2024-07)

[EN] Certificateless Proxy Signature (CLPS) offers a comprehensive authentication mechanism to ensure the optimal solutions from modern forgery attacks in Industrial Internet of Things (IIoTs) environment. CLPS is part of ...
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol

Tran, Duong Dinh; Ogata, Kazuhiro; Escobar Román, Santiago; Akleylek, Sedat; Otmani, Ayoub (Institute of Electrical and Electronics Engineers, 2024)

[EN] Facing the quantum attack threat, a quantum-resistant version of the SSH Transport Layer protocol has been proposed and been standardized by an IETF working group. This standardization process has been motivated by ...
Modelado y verificación del mecanismo de encapsulación de claves post-cuánticas KYBER usando Maude

García Valero, Víctor (Universitat Politècnica de València, 2022-09-23)

[ES] Las tecnologías de la información y la comunicación dan forma a los sistemas del mundo de hoy, y esos sistemas dan forma a la sociedad en la que vivimos. La seguridad de esos sistemas se basa en problemas matemáticos ...
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude

García, Víctor; Escobar Román, Santiago; Ogata, Kazuhiro (Sun SITE Central Europe, 2022)

[EN] Communication and information technologies shape the world¿s systems of today, and those systems shape the society we live in. The security of those systems relay on mathematical problems hard to solve for classical ...
Modelling and verification of post-quantum key encapsulation mechanisms using Maude

García, Víctor; Escobar Román, Santiago; Ogata, Kazuhiro; Akleylek, Sedat; Otmani, Ayoub (PeerJ, 2023-09-19)

[EN] Communication and information technologies shape the world's systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical ...