Verificación automática del protocolo TLS 1.3 usando Maude-NPA
[ES] La importancia de la confidencialidad y seguridad en las tecnologías de la información es un tema en el que poco a poco más entidades tanto públicas como privadas aúnan esfuerzos con el fin de conseguir entornos más seguros y robustos frente a los atacantes. El protocolo TLS tiene un papel fund...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2019 |
| 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: | español |
| OAI Identifier: | oai:riunet.upv.es:10251/130041 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/130041 |
| Access Level: | acceso abierto |
| Palabra clave: | Model checking Análisis protocolos de comunicaciones 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] La importancia de la confidencialidad y seguridad en las tecnologías de la información es un tema en el que poco a poco más entidades tanto públicas como privadas aúnan esfuerzos con el fin de conseguir entornos más seguros y robustos frente a los atacantes. El protocolo TLS tiene un papel fundamental en el establecimiento de conexiones seguras sobre medios no seguros como es Internet. Es ampliamente utilizado hoy en día en todos los navegadores y en informática en general por lo que la razón de este trabajo se fundamenta en el estudio de las propiedades de seguridad de este protocolo criptográfico mediante el uso de Maude-NPA, herramienta de verificación de protocolos criptográficos de comunicación utilizada para dicho análisis. A lo largo de este trabajo se profundizará en la herramienta Maude-NPA, el protocolo TLS, el estado del arte en el análisis de este protocolo con herramienta similares como Tamarin y una comparativa de resultados obtenidos con Maude-NPA frente a los ya extraídos con Tamarin. |
|---|