Narrowing and Unification in the Maude Programming Language
[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 vital importancia el encontrar algoritmos y herramientas capaces de encontrar...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/173970 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/173970 |
| Access Level: | acceso abierto |
| Palabra clave: | Algorithmic processing Narrowing Unificación Canonical narrowing Protocolo Unification Protocol Maude language Security protocols LENGUAJES Y SISTEMAS INFORMATICOS Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari |
| Sumario: | [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 vital importancia el encontrar algoritmos y herramientas capaces de encontrar esas vulnerabilidades para poder solucio-narlas cuanto antes. Uno de estos algoritmos es el narrowing, implementado en Maude, un lenguaje utilizado por varias herramientas de análisis de protocolos, que, a pesar de ser potente y eficiente en muchos casos, tiene algunas limitaciones, que pueden ser resueltas mediante la utilización de variantes del algoritmo. Una posible variante es el canonical narrowing, que se basa en restricciones de irreductibilidad para descartar aquellas secuencias del narrowing estándar que pueden obviarse porque no representan secuencias de reescritura reales. |
|---|