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. Thesis (Doctoral), Facultad de Informática (UPM).

Description

Title: Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad
Author/s:
  • Mengual Galan, Luis
Contributor/s:
  • Fernández del Val, Carlos
Item Type: Thesis (Doctoral)
Date: 1998
Subjects:
Freetext Keywords: SOFTWARE; CIENCIA DE LOS ORDENADORES;
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (18MB) | Preview

Abstract

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.

More information

Item ID: 979
DC Identifier: http://oa.upm.es/979/
OAI Identifier: oai:oa.upm.es:979
Deposited by: Archivo Digital UPM
Deposited on: 05 May 2008
Last Modified: 20 Apr 2016 06:37
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM