Test de conformidad de IPsec en TTCN-3.

Santiago, Romani

Supervisor(es): Corti, María Eugenia - Sabiguero, Ariel

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.

Detalles Bibliográficos
2008
IPsec
IPv6 Ready logo Program
TTCN-3
Español
Universidad de la República
COLIBRI
https://hdl.handle.net/20.500.12008/45653
Acceso abierto
Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
_version_ 1875692901923553280
author Santiago, Romani
author_facet Santiago, Romani
author_role author
bitstream.checksum.fl_str_mv 6429389a7df7277b72b7924fdc7d47a9
a006180e3f5b2ad0b88185d14284c0e0
df0749cf944f9d2754bc76e8ce56250c
489f03e71d39068f329bdec8798bce58
104f8d59af2d3d1e5f73fed5a50284d2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
bitstream.url.fl_str_mv http://localhost:8080/xmlui/bitstream/20.500.12008/45653/5/license.txt
http://localhost:8080/xmlui/bitstream/20.500.12008/45653/2/license_url
http://localhost:8080/xmlui/bitstream/20.500.12008/45653/3/license_text
http://localhost:8080/xmlui/bitstream/20.500.12008/45653/4/license_rdf
http://localhost:8080/xmlui/bitstream/20.500.12008/45653/1/Rom08.pdf
collection COLIBRI
dc.contributor.filiacion.none.fl_str_mv Santiago Romani, Universidad de la República (Uruguay). Facultad de Ingeniería.
dc.creator.advisor.none.fl_str_mv Corti, María Eugenia
Sabiguero, Ariel
dc.creator.none.fl_str_mv Santiago, Romani
dc.date.accessioned.none.fl_str_mv 2024-09-03T12:52:49Z
dc.date.available.none.fl_str_mv 2024-09-03T12:52:49Z
dc.date.issued.none.fl_str_mv 2008
dc.description.abstract.none.fl_txt_mv 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.
dc.format.extent.es.fl_str_mv 75 p.
dc.format.mimetype.es.fl_str_mv application/pdf
dc.identifier.citation.es.fl_str_mv Santiago, R. Test de conformidad de IPsec en TTCN-3 [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2008.
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.12008/45653
dc.language.iso.none.fl_str_mv es
spa
dc.publisher.es.fl_str_mv Udelar.FI.
dc.rights.license.none.fl_str_mv Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv reponame:COLIBRI
instname:Universidad de la República
instacron:Universidad de la República
dc.subject.es.fl_str_mv IPsec
IPv6 Ready logo Program
TTCN-3
dc.title.none.fl_str_mv Test de conformidad de IPsec en TTCN-3.
dc.type.es.fl_str_mv Tesis de grado
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.version.none.fl_str_mv info:eu-repo/semantics/acceptedVersion
description 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.
eu_rights_str_mv openAccess
format bachelorThesis
id COLIBRI_9ef090f103554fee9235fdd1c62a28e9
identifier_str_mv Santiago, R. Test de conformidad de IPsec en TTCN-3 [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2008.
instacron_str Universidad de la República
institution Universidad de la República
instname_str Universidad de la República
language spa
language_invalid_str_mv es
network_acronym_str COLIBRI
network_name_str COLIBRI
oai_identifier_str oai:colibri.udelar.edu.uy:20.500.12008/45653
publishDate 2008
reponame_str COLIBRI
repository.mail.fl_str_mv karina.camps@seciu.edu.uy
repository.name.fl_str_mv COLIBRI - Universidad de la República
repository_id_str 4771
rights_invalid_str_mv Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
spelling Santiago Romani, Universidad de la República (Uruguay). Facultad de Ingeniería.2024-09-03T12:52:49Z2024-09-03T12:52:49Z2008Santiago, R. Test de conformidad de IPsec en TTCN-3 [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2008.https://hdl.handle.net/20.500.12008/45653El 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.Submitted by Ribeiro Jorge (jribeiro@fing.edu.uy) on 2024-08-03T01:35:16Z No. of bitstreams: 2 license_rdf: 25790 bytes, checksum: 489f03e71d39068f329bdec8798bce58 (MD5) Rom08.pdf: 2930635 bytes, checksum: 104f8d59af2d3d1e5f73fed5a50284d2 (MD5)Approved for entry into archive by Machado Jimena (jmachado@fing.edu.uy) on 2024-09-03T12:44:42Z (GMT) No. of bitstreams: 2 license_rdf: 25790 bytes, checksum: 489f03e71d39068f329bdec8798bce58 (MD5) Rom08.pdf: 2930635 bytes, checksum: 104f8d59af2d3d1e5f73fed5a50284d2 (MD5)Made available in DSpace by Luna Fabiana (fabiana.luna@seciu.edu.uy) on 2024-09-03T12:52:49Z (GMT). No. of bitstreams: 2 license_rdf: 25790 bytes, checksum: 489f03e71d39068f329bdec8798bce58 (MD5) Rom08.pdf: 2930635 bytes, checksum: 104f8d59af2d3d1e5f73fed5a50284d2 (MD5) Previous issue date: 200875 p.application/pdfesspaUdelar.FI.Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)IPsecIPv6 Ready logo ProgramTTCN-3Test de conformidad de IPsec en TTCN-3.Tesis de gradoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionreponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaSantiago, RomaniCorti, María EugeniaSabiguero, ArielUniversidad de la República (Uruguay). Facultad de Ingeniería.Ingeniero en ComputaciónLICENSElicense.txtlicense.txttext/plain; charset=utf-84267http://localhost:8080/xmlui/bitstream/20.500.12008/45653/5/license.txt6429389a7df7277b72b7924fdc7d47a9MD55CC-LICENSElicense_urllicense_urltext/plain; charset=utf-850http://localhost:8080/xmlui/bitstream/20.500.12008/45653/2/license_urla006180e3f5b2ad0b88185d14284c0e0MD52license_textlicense_texttext/html; charset=utf-822527http://localhost:8080/xmlui/bitstream/20.500.12008/45653/3/license_textdf0749cf944f9d2754bc76e8ce56250cMD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-825790http://localhost:8080/xmlui/bitstream/20.500.12008/45653/4/license_rdf489f03e71d39068f329bdec8798bce58MD54ORIGINALRom08.pdfRom08.pdfapplication/pdf2930635http://localhost:8080/xmlui/bitstream/20.500.12008/45653/1/Rom08.pdf104f8d59af2d3d1e5f73fed5a50284d2MD5120.500.12008/456532025-02-19 14:19:51.37oai:colibri.udelar.edu.uy:20.500.12008/45653VGVybWlub3MgeSBjb25kaWNpb25lcyByZWxhdGl2YXMgYWwgZGVwb3NpdG8gZGUgb2JyYXMKCgpMYXMgb2JyYXMgZGVwb3NpdGFkYXMgZW4gZWwgUmVwb3NpdG9yaW8gc2UgcmlnZW4gcG9yIGxhIE9yZGVuYW56YSBkZSBsb3MgRGVyZWNob3MgZGUgbGEgUHJvcGllZGFkIEludGVsZWN0dWFsICBkZSBsYSBVbml2ZXJzaWRhZCBEZSBMYSBSZXDDumJsaWNhLiAoUmVzLiBOwrogOTEgZGUgQy5ELkMuIGRlIDgvSUlJLzE5OTQg4oCTIEQuTy4gNy9JVi8xOTk0KSB5ICBwb3IgbGEgT3JkZW5hbnphIGRlbCBSZXBvc2l0b3JpbyBBYmllcnRvIGRlIGxhIFVuaXZlcnNpZGFkIGRlIGxhIFJlcMO6YmxpY2EgKFJlcy4gTsK6IDE2IGRlIEMuRC5DLiBkZSAwNy8xMC8yMDE0KS4gCgpBY2VwdGFuZG8gZWwgYXV0b3IgZXN0b3MgdMOpcm1pbm9zIHkgY29uZGljaW9uZXMgZGUgZGVww7NzaXRvIGVuIENPTElCUkksIGxhIFVuaXZlcnNpZGFkIGRlIFJlcMO6YmxpY2EgcHJvY2VkZXLDoSBhOiAgCgphKSBhcmNoaXZhciBtw6FzIGRlIHVuYSBjb3BpYSBkZSBsYSBvYnJhIGVuIGxvcyBzZXJ2aWRvcmVzIGRlIGxhIFVuaXZlcnNpZGFkIGEgbG9zIGVmZWN0b3MgZGUgZ2FyYW50aXphciBhY2Nlc28sIHNlZ3VyaWRhZCB5IHByZXNlcnZhY2nDs24KYikgY29udmVydGlyIGxhIG9icmEgYSBvdHJvcyBmb3JtYXRvcyBzaSBmdWVyYSBuZWNlc2FyaW8gIHBhcmEgZmFjaWxpdGFyIHN1IHByZXNlcnZhY2nDs24geSBhY2Nlc2liaWxpZGFkIHNpbiBhbHRlcmFyIHN1IGNvbnRlbmlkby4KYykgcmVhbGl6YXIgbGEgY29tdW5pY2FjacOzbiBww7pibGljYSB5IGRpc3BvbmVyIGVsIGFjY2VzbyBsaWJyZSB5IGdyYXR1aXRvIGEgdHJhdsOpcyBkZSBJbnRlcm5ldCBtZWRpYW50ZSBsYSBwdWJsaWNhY2nDs24gZGUgbGEgb2JyYSBiYWpvIGxhIGxpY2VuY2lhIENyZWF0aXZlIENvbW1vbnMgc2VsZWNjaW9uYWRhIHBvciBlbCBwcm9waW8gYXV0b3IuCgoKRW4gY2FzbyBxdWUgZWwgYXV0b3IgaGF5YSBkaWZ1bmRpZG8geSBkYWRvIGEgcHVibGljaWRhZCBhIGxhIG9icmEgZW4gZm9ybWEgcHJldmlhLCAgcG9kcsOhIHNvbGljaXRhciB1biBwZXLDrW9kbyBkZSBlbWJhcmdvIHNvYnJlIGxhIGRpc3BvbmliaWxpZGFkIHDDumJsaWNhIGRlIGxhIG1pc21hLCBlbCBjdWFsIGNvbWVuemFyw6EgYSBwYXJ0aXIgZGUgbGEgYWNlcHRhY2nDs24gZGUgZXN0ZSBkb2N1bWVudG8geSBoYXN0YSBsYSBmZWNoYSBxdWUgaW5kaXF1ZSAuCgpFbCBhdXRvciBhc2VndXJhIHF1ZSBsYSBvYnJhIG5vIGluZnJpZ2UgbmluZ8O6biBkZXJlY2hvIHNvYnJlIHRlcmNlcm9zLCB5YSBzZWEgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIG8gY3VhbHF1aWVyIG90cm8uCgpFbCBhdXRvciBnYXJhbnRpemEgcXVlIHNpIGVsIGRvY3VtZW50byBjb250aWVuZSBtYXRlcmlhbGVzIGRlIGxvcyBjdWFsZXMgbm8gdGllbmUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCAgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBkZWwgcHJvcGlldGFyaW8gZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCB5IHF1ZSBlc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIHkgcmVjb25vY2lkbyBlbiBlbCB0ZXh0byBvIGNvbnRlbmlkbyBkZWwgZG9jdW1lbnRvIGRlcG9zaXRhZG8gZW4gZWwgUmVwb3NpdG9yaW8uCgpFbiBvYnJhcyBkZSBhdXRvcsOtYSBtw7psdGlwbGUgL3NlIHByZXN1bWUvIHF1ZSBlbCBhdXRvciBkZXBvc2l0YW50ZSBkZWNsYXJhIHF1ZSBoYSByZWNhYmFkbyBlbCBjb25zZW50aW1pZW50byBkZSB0b2RvcyBsb3MgYXV0b3JlcyBwYXJhIHB1YmxpY2FybGEgZW4gZWwgUmVwb3NpdG9yaW8sIHNpZW5kbyDDqXN0ZSBlbCDDum5pY28gcmVzcG9uc2FibGUgZnJlbnRlIGEgY3VhbHF1aWVyIHRpcG8gZGUgcmVjbGFtYWNpw7NuIGRlIGxvcyBvdHJvcyBjb2F1dG9yZXMuCgpFbCBhdXRvciBzZXLDoSByZXNwb25zYWJsZSBkZWwgY29udGVuaWRvIGRlIGxvcyBkb2N1bWVudG9zIHF1ZSBkZXBvc2l0YS4gTGEgVURFTEFSIG5vIHNlcsOhIHJlc3BvbnNhYmxlIHBvciBsYXMgZXZlbnR1YWxlcyB2aW9sYWNpb25lcyBhbCBkZXJlY2hvIGRlIHByb3BpZWRhZCBpbnRlbGVjdHVhbCBlbiBxdWUgcHVlZGEgaW5jdXJyaXIgZWwgYXV0b3IuCgpBbnRlIGN1YWxxdWllciBkZW51bmNpYSBkZSB2aW9sYWNpw7NuIGRlIGRlcmVjaG9zIGRlIHByb3BpZWRhZCBpbnRlbGVjdHVhbCwgbGEgVURFTEFSICBhZG9wdGFyw6EgdG9kYXMgbGFzIG1lZGlkYXMgbmVjZXNhcmlhcyBwYXJhIGV2aXRhciBsYSBjb250aW51YWNpw7NuIGRlIGRpY2hhIGluZnJhY2Npw7NuLCBsYXMgcXVlIHBvZHLDoW4gaW5jbHVpciBlbCByZXRpcm8gZGVsIGFjY2VzbyBhIGxvcyBjb250ZW5pZG9zIHkvbyBtZXRhZGF0b3MgZGVsIGRvY3VtZW50byByZXNwZWN0aXZvLgoKTGEgb2JyYSBzZSBwb25kcsOhIGEgZGlzcG9zaWNpw7NuIGRlbCBww7pibGljbyBhIHRyYXbDqXMgZGUgbGFzIGxpY2VuY2lhcyBDcmVhdGl2ZSBDb21tb25zLCBlbCBhdXRvciBwb2Ryw6Egc2VsZWNjaW9uYXIgdW5hIGRlIGxhcyA2IGxpY2VuY2lhcyBkaXNwb25pYmxlczoKCgpBdHJpYnVjacOzbiAoQ0MgLSBCeSk6IFBlcm1pdGUgdXNhciBsYSBvYnJhIHkgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIGluY2x1c28gY29uIGZpbmVzIGNvbWVyY2lhbGVzLCBzaWVtcHJlIHF1ZSBzZSByZWNvbm96Y2EgYWwgYXV0b3IuCgpBdHJpYnVjacOzbiDigJMgQ29tcGFydGlyIElndWFsIChDQyAtIEJ5LVNBKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgaW5jbHVzbyBjb24gZmluZXMgY29tZXJjaWFsZXMsIHBlcm8gbGEgZGlzdHJpYnVjacOzbiBkZSBsYXMgb2JyYXMgZGVyaXZhZGFzIGRlYmUgaGFjZXJzZSBtZWRpYW50ZSB1bmEgbGljZW5jaWEgaWTDqW50aWNhIGEgbGEgZGUgbGEgb2JyYSBvcmlnaW5hbCwgcmVjb25vY2llbmRvIGEgbG9zIGF1dG9yZXMuCgpBdHJpYnVjacOzbiDigJMgTm8gQ29tZXJjaWFsIChDQyAtIEJ5LU5DKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgc2llbXByZSB5IGN1YW5kbyBlc29zIHVzb3Mgbm8gdGVuZ2FuIGZpbmVzIGNvbWVyY2lhbGVzLCByZWNvbm9jaWVuZG8gYWwgYXV0b3IuCgpBdHJpYnVjacOzbiDigJMgU2luIERlcml2YWRhcyAoQ0MgLSBCeS1ORCk6IFBlcm1pdGUgZWwgdXNvIGRlIGxhIG9icmEsIGluY2x1c28gY29uIGZpbmVzIGNvbWVyY2lhbGVzLCBwZXJvIG5vIHNlIHBlcm1pdGUgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIGRlYmllbmRvIHJlY29ub2NlciBhbCBhdXRvci4KCkF0cmlidWNpw7NuIOKAkyBObyBDb21lcmNpYWwg4oCTIENvbXBhcnRpciBJZ3VhbCAoQ0Mg4oCTIEJ5LU5DLVNBKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgc2llbXByZSB5IGN1YW5kbyBlc29zIHVzb3Mgbm8gdGVuZ2FuIGZpbmVzIGNvbWVyY2lhbGVzIHkgbGEgZGlzdHJpYnVjacOzbiBkZSBsYXMgb2JyYXMgZGVyaXZhZGFzIHNlIGhhZ2EgbWVkaWFudGUgbGljZW5jaWEgaWTDqW50aWNhIGEgbGEgZGUgbGEgb2JyYSBvcmlnaW5hbCwgcmVjb25vY2llbmRvIGEgbG9zIGF1dG9yZXMuCgpBdHJpYnVjacOzbiDigJMgTm8gQ29tZXJjaWFsIOKAkyBTaW4gRGVyaXZhZGFzIChDQyAtIEJ5LU5DLU5EKTogUGVybWl0ZSB1c2FyIGxhIG9icmEsIHBlcm8gbm8gc2UgcGVybWl0ZSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcyB5IG5vIHNlIHBlcm1pdGUgdXNvIGNvbiBmaW5lcyBjb21lcmNpYWxlcywgZGViaWVuZG8gcmVjb25vY2VyIGFsIGF1dG9yLgoKTG9zIHVzb3MgcHJldmlzdG9zIGVuIGxhcyBsaWNlbmNpYXMgaW5jbHV5ZW4gbGEgZW5hamVuYWNpw7NuLCByZXByb2R1Y2Npw7NuLCBjb211bmljYWNpw7NuLCBwdWJsaWNhY2nDs24sIGRpc3RyaWJ1Y2nDs24geSBwdWVzdGEgYSBkaXNwb3NpY2nDs24gZGVsIHDDumJsaWNvLiBMYSBjcmVhY2nDs24gZGUgb2JyYXMgZGVyaXZhZGFzIGluY2x1eWUgbGEgYWRhcHRhY2nDs24sIHRyYWR1Y2Npw7NuIHkgZWwgcmVtaXguCgpDdWFuZG8gc2Ugc2VsZWNjaW9uZSB1bmEgbGljZW5jaWEgcXVlIGhhYmlsaXRlIHVzb3MgY29tZXJjaWFsZXMsIGVsIGRlcMOzc2l0byBkZWJlcsOhIHNlciBhY29tcGHDsWFkbyBkZWwgYXZhbCBkZWwgamVyYXJjYSBtw6F4aW1vIGRlbCBTZXJ2aWNpbyBjb3JyZXNwb25kaWVudGUuCg==Institucionalhttps://www.colibri.udelar.edu.uyUniversidadhttps://udelar.edu.uy/https://www.colibri.udelar.edu.uy/oai/requestkarina.camps@seciu.edu.uyUruguayopendoar:47712025-02-19T17:19:51COLIBRI - Universidad de la Repúblicafalse
spellingShingle Test de conformidad de IPsec en TTCN-3.
Santiago, Romani
IPsec
IPv6 Ready logo Program
TTCN-3
status_str acceptedVersion
title Test de conformidad de IPsec en TTCN-3.
title_full Test de conformidad de IPsec en TTCN-3.
title_fullStr Test de conformidad de IPsec en TTCN-3.
title_full_unstemmed Test de conformidad de IPsec en TTCN-3.
title_short Test de conformidad de IPsec en TTCN-3.
title_sort Test de conformidad de IPsec en TTCN-3.
topic IPsec
IPv6 Ready logo Program
TTCN-3
url https://hdl.handle.net/20.500.12008/45653