Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/45653

Título:

Test de conformidad de IPsec en TTCN-3.

Otros títulos:

Coordinador:

Director:

Compilador:

Autor:

Santiago, Romani

Tutor:

Corti, María Eugenia
Sabiguero, Ariel

Tipo de documento:

Tesis de grado

Editor:

Palabras clave:

IPsec
IPv6 Ready logo Program
TTCN-3

Descriptores:

Año de publicación:

2008

Contenido:

Resumen:

El protocolo de Internet, IPv6 (Internet Protocol version 6) remplazará al actual protocolo (IPv4), por este motivo las implementaciones de IPv6 deben ser verificadas y validadas. IPsec (Internet Protocol security) es un mecanismo de seguridad incluido en la especificación de IPv6. La función de IPsec es asegurar las comunicaciones sobre el Protocolo de Internet (IP), actuando en la capa de red (capa 3 del modelo OSI) y proporcionando servicios de seguridad. La implantación de técnicas y procesos de testeo sobre aplicaciones o protocolos es importante ya que brinda una mayor credibilidad y confiabilidad del producto. Debido a la imposibilidad de que este testeo sea exhaustivo, es necesario seleccionar un conjunto de casos de prueba representativo que contemple su especificación. IPv6 Ready Logo Program es un programa de testeo desarrollado con la intención de incrementar la confianza del usuario demostrando que IPv6 está disponible y listo para ser usado. En particular IPv6 Ready Logo Program seleccionó un conjunto de casos de prueba con el propósito de validar el protocolo IPsec, mediante test de conformidad. Los test de conformidad son los que determinan si el sistema cumple la especificación, en este caso los RFC (Request For Comments) de IPsec. TTCN-3 (Testing and Test Control Notation version 3) es un nuevo lenguaje promovido por ETSI (European Telecommunications Standards Institute) para estandarización de pruebas formales, orientado a la especificación e implementación de casos de prueba. Este proyecto tiene como objetivos el desarrollo de una metodología de implementación para la suite de tests de conformidad de IPsec (a partir de la especificación del IPv6 Ready Logo Program) y la implementación de esta suite en el lenguaje TTCN-3. Esta metodología tiene como objetivo la estandarización del proceso de desarrollo de los casos de prueba, lo cual busca mejorar la calidad en el contexto de IPv6 y seguridad sobre IP.

Descripción:

Editorial:

Udelar.FI.

EN:

Financiadores:

Citación:

Santiago, R. Test de conformidad de IPsec en TTCN-3 [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2008.

Citación:

metadata.cc.license.name:

Documento del Gobiberno:

URI:

https://hdl.handle.net/20.500.12008/45653

ISBN:

e-ISBN:

ISSN:

ISMN:

Otros identificadores:

Título Obtenido:

Ingeniero en Computación

Facultad o Servicio que otorga el Título:

Universidad de la República (Uruguay). Facultad de Ingeniería.

Licencia:

Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)

Cobertura geográfica:

Cobertura temporal:

metadata.dc.relation.IsVersionOf:

Clasificación:

Es versión de:

Colecciones:

FicherosDescripciónTamañoFormato
Rom08.pdf Tesis de grado 2.79 MB Adobe PDF