Modelo de establecimiento de sesiones a nivel de enlace entre estaciones finales en redes Ethernet

  1. SAIZ AGUSTIN, PURIFICACION
Dirigée par:
  1. Eduardo Jacob Taquet Directeur

Université de défendre: Universidad del País Vasco - Euskal Herriko Unibertsitatea

Fecha de defensa: 29 octobre 2007

Jury:
  1. Arturo Azcorra Saloña President
  2. Juan José Unzilla Galán Secrétaire
  3. Joseba Iñaki Goirizelaia Ordorika Rapporteur
  4. Sebastià Sallent Ribes Rapporteur
  5. Manuel Alvarez-Campana Fernández-Corredor Rapporteur

Type: Thèses

Teseo: 151166 DIALNET

Résumé

El presente trabajo de tesis aborda la provisión de mecanismos de seguridad extremo-a-extremo aplicables en escenarios todo-Ethernet, independientemente e los protocolos utilizados por encima, y sin suponer una carga computacional inasumible para los dispositivos finales. Para ello se plantea proporcionar dichos mecanismos de seguridad en el nivel de enlace. El objetivo general de esta tesis es, en concreto, la definición de un modelo que permita el establecimiento de sesiones seguras a nivel de enlace entre equipos finales de una red LAN, como requisito indispensable para la protección a nivel de enlace del tráfico intercambiado entre ambas. Dicho objetivo ha requerido la definición de dos aspectos: por un lado un marco global en el que se definen las entidades participantes, sus roles, su interrelación y la manera de organizarse internamente para la consecución de objetivo planteado; y por otro lado un protocolo de autenticación y establecimiento de claves que pueden integrarse en dicho marco para su utilización en el establecimiento de las sesiones seguras. Para verificar la viabilidad de la propuesta formulada se ha desarrollado una plataforma experimental, sobre la que se ha comprobado que es posible el establecimiento de sesiones seguras independientes entre pares de estaciones haciendo uso del modelo y del protocolo propuesto con un rendimiento adecuado. Adicionalmente, se ha modelado y simulado el protocolo propuesto mediante la herramienta de análisis de protocolos Murphi, lo que ha permitido corroborar el cumplimiento de los objetivos de seguridad impuestos al mismo.