Tesis doctoral de Luis Mengual Galan
En este trabajo, se ha concebido y desarrollado un sistema que permite la automatización del proceso de verificación, análisis e implementación de protocolos de seguridad a partir de una especificación formal y con ello, la versatilidad en la incorporación de distintos servicios de seguridad en un entorno distribuido. Una notable innovación de este trabajo es la automatización del proceso de implementación de protocolos de seguridad a partir de una especificación formal: definido el servicio de seguridad requerido, y especificado el protocolo de seguridad asociado, el sistema es capaz de generar de manera automática una implementación real (prototipo). Todo ello ha sido realizado a partir de una nueva filosofía de implementación que hemos denominado interpretación automática de protocolos. el sistema se ha concebido como un entorno de pruebas que sirva de base para el análisis y evaluación de ataques reales a un protocolo de seguridad. Asimismo, el sistema se ha desarrollado con el objetivo de que pueda ser la base para derivar un producto final con la incorporación explícita de funciones de seguridad.
Datos académicos de la tesis doctoral «Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.«
- Título de la tesis: Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.
- Autor: Luis Mengual Galan
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- Fernandez Del Val Carlos
- Tribunal
- Presidente del tribunal: José Luis Morant Ramón
- Ana Gomez Oliva (vocal)
- Arturo Ribagorda Garnacho (vocal)
- Antonio Fernando Gomez Skarmeta (vocal)