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

Mengual Galan, Luis (1998). Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad
Autor/es:
  • Mengual Galan, Luis
Director/es:
  • Fernández del Val, Carlos
Tipo de Documento: Tesis (Doctoral)
Fecha: 1998
Materias:
Palabras Clave Informales: SOFTWARE; CIENCIA DE LOS ORDENADORES;
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (18MB) | Vista Previa

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.

Más información

ID de Registro: 979
Identificador DC: http://oa.upm.es/979/
Identificador OAI: oai:oa.upm.es:979
Depositado por: Archivo Digital UPM
Depositado el: 05 May 2008
Ultima Modificación: 20 Abr 2016 06:37
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM