Výsledky vyhledávání - "Aparicio Sánchez, Damián"

Dissertation/ Thesis

Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA

Tesis por compendio
[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 literat

Externí odkaz: http://hdl.handle.net/10251/190915

Zobrazit plný text záznamu

Report

Protocol Analysis with Time

Autor: Aparicio-Sánchez, Damián, Escobar, Santiago, Meadows, Catherine, Meseguer, Jose, Sapiña, Julia

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 semantics that takes account o

Externí odkaz: http://arxiv.org/abs/2010.13707

Zobrazit plný text záznamu

Report

Variant-based Equational Unification under Constructor Symbols

Autor: Aparicio-Sánchez, Damián, Escobar, Santiago, Sapiña, Julia

Publikováno v: EPTCS 325, 2020, pp. 38-51

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 on the concept of the variants of

Externí odkaz: http://arxiv.org/abs/2009.11070

Zobrazit plný text záznamu

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

Autor: Aparicio-Sánchez, Damián, Escobar Román, Santiago, Gutiérrez Gil, Raúl, Sapiña-Sanchis, Julia

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Computer Security – ESORICS 2020 ISBN: 9783030590123
ESORICS (2)

[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, some algebraic properties, and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3d643273f8f5dea96cb98ac6e88e959
http://hdl.handle.net/10251/178909

Zobrazit plný text záznamu

Mejoras en la interacción con la herramienta Maude-NPA

Autor: Aparicio Sánchez, Damián

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

[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 thesis, we have specified and ana

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e3e7c4db4ad2a4f5e7e7bdd3e4460032
http://hdl.handle.net/10251/90079

Zobrazit plný text záznamu

Implementación de una interfaz gráfica para Maude-NPA

Autor: Aparicio Sánchez, Damián

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

[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 Universitat Politècnica de Valèn

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::700a1d9b05973ca73fc87d2ef78928b9
http://hdl.handle.net/10251/70781

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání