Autor: MENGUAL GALAN, Luis

Título: Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad

Fecha: 1998

Materia: MATEMATICAS. Teseo;CIENCIAS DE LA COMPUTACION. Teseo;SOFTWARE. Teseo

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico:

Director/a(s):

• Director/a: FERNANDEZ DEL VAL, Carlos

Resumen: 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