Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Aparicio Sánchez, Damián"

Mostrando ítems 1-7 de 7

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, ...
Implementación de una interfaz gráfica para Maude-NPA

Aparicio Sánchez, Damián (Universitat Politècnica de València, 2016-09-30)

[ES] Maude-NPA es una herramienta de verificación de protocolos criptográficos desarrollada por la University of Illinois at Urbana- Champaign (EE.UU.), el Navy Research Laboratory en Washington D.C. (EE.UU.) y la ...
Mejoras en la interacción con la herramienta Maude-NPA

Aparicio Sánchez, Damián (Universitat Politècnica de València, 2017-10-26)

[EN] The security in modern online services is increasingly more and more vulnerable to intruder attacks. Companies like Yubiko works on devices like Yubikey, a USB device that provides strong identification. In this ...
Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA

Aparicio Sánchez, Damián (Universitat Politècnica de València, 2022-12-23)

[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...
Protocol Analysis with Time

Aparicio-Sánchez, Damián; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José; Sapiña-Sanchis, Julia (Springer, 2020-12-16)

[EN] We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition ...
Variant-based Equational Unification under Constructor Symbols

Aparicio-Sánchez, Damián; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2020-09-25)

[EN] Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying ...
Verificación automática de un protocolo de voto electrónico

Acedo Arroyo, Josep Vicent (Universitat Politècnica de València, 2022-09-13)

[ES] La seguridad y transparencia de los procesos electores son la garantía fundamental de la voluntad popular. Sin ellos es imposible la construcción y el mantenimiento de la democracia. Las nuevas tecnologías van ...