Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Maude-NPA"

Mostrando ítems 1-11 de 11

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Santiago Pinazo, Sonia (Universitat Politècnica de València, 2015-03-31)

The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...
Automation of Timed Processes in Maude-NPA using Maude

Aldama Medina, Claudia Daniela (Universitat Politècnica de València, 2021-10-07)

[ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...
Formal verification of Hybrid Post-Quantum TLS protocol

Sánchez Marco, Adrián (Universitat Politècnica de València, 2024-10-22)

[EN] With the arrival of quantum computing, ensuring the security of communications protocol has become even more crucial. This study explores the formal verification of a Transport Layer Security protocol designed to ...
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

Gimeno Balaguer, Adrián (Universitat Politècnica de València, 2019-10-28)

[ES] El desarrollo de este proyecto tiene como objetivo la elaboración una Interfaz Gráfica para la herramienta Maude-NPA. Maude-NPA es una herramienta que permite el análisis de protocolos criptográficos y que ha sido ...
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 modulo exclusive-or theories: a case study in Maude-MPA

González Burgueño, Antonio (Universitat Politècnica de València, 2015-06-16)

[EN] Escobar of the Universitat Politècnica de València in collaboration with José Meseguer (University of Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Lab, Washington, DC, USA). We focus on ...
Verificación automática de protocolos criptográficos de seguridad

Rondo Van Ysseldyk, Nataniel Renzo (Universitat Politècnica de València, 2016-10-06)

[ES] En el presente proyecto se estudiarán, explicarán y aplicarán las nuevas posibilidades que nos proporciona la introducción de mejoras en la herramienta de verificación de protocolos MaudeNPA. Estas mejoras nos ...
Verificación automática de protocolos criptográficos de seguridad

Torres Moliner, David (Universitat Politècnica de València, 2022-10-07)

[ES] Las tarjetas de crédito, el método de pago mayormente usado alrededor del mundo, hacen uso del protocolo EMV para poder comunicar la transacción bancaria de una forma cómoda y segura. La comunicación entre la tarjeta ...
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 ...
Verificación automática del protocolo DP-3T asociado a las aplicaciones COVID-19

Martínez Martín, Daniel (Universitat Politècnica de València, 2021-09-28)

[ES] Actualmente, vivimos en una sociedad ultra conectada que gira en torno al intercambio de información entre los dispositivos y usuarios de forma continuada. De la mano de la información va la privacidad y la ...