RiuNet repositorio UPV
:
Listar por autor

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "López Rueda, Raúl"

Mostrando ítems 1-2 de 2

An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis

López-Rueda, Raúl; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Elsevier, 2023-10)

[EN] Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal ...
Narrowing and Unification in the Maude Programming Language

López Rueda, Raúl (Universitat Politècnica de València, 2021-10-06)

[ES] Los protocolos de seguridad en las comunicaciones evolucionan cada día buscando mejoras y corrección de errores, muchos de los cuales pueden llevar a vulnerabilidades con consecuencias fatales. Por ello, se vuelve de ...

Mostrando ítems 1-2 de 2