Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Escobar Román, Santiago"

Mostrando ítems 1-20 de 99

Página siguiente

A Modular Order-sorted Equational Generalization Algorithm

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Elsevier, 2014-04)

Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...
A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms

Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)

[EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...
A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally

Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Galán-Pascual, Daniel; Sapiña-Sanchis, Julia (Elsevier, 2022)

[EN] Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as ...
A reconnaissance based automatic tool for origin server discovery through misconfigured web servers

Veciana Belmonte, Alex (Universitat Politècnica de València, 2022-09-09)

[EN] Content Delivery Networks (CDNs) and particularly those which integrate a Web Application Firewall (WAF) on them have experienced a rapid increase in usage over the past years. They consist of highly distributed servers ...
Abstract Certification of Java Programs in Rewriting Logic

Alba Castro, Mauricio Fernando (Universitat Politècnica de València, 2011-11-28)

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming ...
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

Alpuente Frasnedo, María; Escobar Román, Santiago; Espert Real, Javier; Meseguer, José (Springer, 2014)

Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...
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 ...
AMC - Tool support for automating Model Checking Lifecycle

López Pons, Luis Enrique (Universitat Politècnica de València, 2013-04-29)

In model checking, the most time consuming stage is oftentimes not writing the formal model (of the system to be analyzed) itself but validating the model: ensuring the correct system has been modeled, before ensuring ...
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 ...
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, ...
Analysis of the IBM CCA Security API Protocols in Maude-NPA

González Burgueño, Antonio; Santiago Pinazo, Sonia; Escobar Román, Santiago; Meadows, Catherine; Meseguer, Jose (Springer International Publishing, 2014)

Standards for cryptographic protocols have long been attractive candidates for formal verification. It is important that such standards be correct, and cryptographic protocols are tricky to design and subject to ...
Análisis de las amenazas y vulnerabilidades en la seguridad informática de una consultoría tecnológica y técnicas de prevención y resolució

Gómez Domingo, Carlos (Universitat Politècnica de València, 2023-09-14)

[ES] El presente Trabajo de Fin de Grado (TFG) tiene como objetivo principal profundizar en el estudio de las amenazas y vulnerabilidades que pueden afectar la seguridad informática de una organización, así como en la ...
Análisis de las tendencias y evolución de ataques de Seguridad en base a series temporales

López Muñoz, Alejandro (Universitat Politècnica de València, 2023-09-01)

[ES] El proyecto tiene como enfoque principal el análisis de tendencias de ciberataques mediante el uso de series temporales. El objetivo del trabajo es obtener conclusiones basadas en estos análisis para optimizar la ...
Análisis de los riesgos y vulnerabilidades derivados de los servidores de streaming actuales

Cortes Castell, Fernando (Universitat Politècnica de València, 2021-09-23)

[ES] En el presente documento vamos a realizar un análisis de los riesgos y vulnerabilidades que tienen las plataformas de vídeo online hoy en día, se hace un análisis de por que creemos qué este tipo de servicios sustituirán ...
Análisis del troyano de acceso remoto PlugX

Ruiz Arráez, Daniel (Universitat Politècnica de València, 2021-04-20)

[ES] En este proyecto de fin de grado se lleva a cabo un análisis en detalle del troyano de acceso remoto referido principalmente como "PlugX" o “Korplug”, y popularmente utilizado por actores de origen chino. Para este ...
Análisis predictivo de costes temporales de fabricación de vehículos ferroviarios en Stadler

Gregori Torres, Júlia (Universitat Politècnica de València, 2023-10-24)

[CA] Aquest projecte té com a objectiu mostrar una predicció de la desviació entre el temps concedit i el temps real de fabricació de vehicles ferroviaris en el marc de l’empresa Stadler. La companyia disposa d’un sistema ...
Análisis y corrección de vulnerabilidades de un producto software con SonarQube

Esparza Tortosa, Rafael (Universitat Politècnica de València, 2023-10-02)

[ES] Un producto software debe pasar por diferentes fases durante su ciclo de vida. Este trabajo se centra en la fase de validación, añadiendo una nueva capa con el objetivo de entregar un producto libre de problemas de ...
Aplicación de gestión de licencias

Querol Lloria, David (Universitat Politècnica de València, 2019-09-19)

[ES] En este proyecto se desarrolla una aplicación web destinada a la gestión de licencias de programas para uso empresarial. Su objetivo es agilizar los procesos de adquisición y liberación de dichas licencias para ...
Aplicación de políticas de seguridad y troubleshooting necesario para resolver incidencias en Firewalls de Nueva Generación

Fernández Cortés, Darío (Universitat Politècnica de València, 2022-09-20)

[ES] La seguridad en la red es fundamental en la actualidad debido al creciente aumento de amenazas y ataques, cada vez más sofisticados. En este trabajo se pretende realizar un análisis de los Firewalls de Nueva Generación, ...
Aseguramiento las comunicaciones embarcadas de un vehículo ferroviario

Cuñat Negueroles, Salvador (Universitat Politècnica de València, 2022-03-24)

[ES] La ciberseguridad es uno de los aspectos más importantes para la integración de las Tecnologías de la Información y Comunicaciones (TIC) en entornos modernos, como es el caso de los vehículos fabricados por la empresa ...