Especificación Formal del Modelo DNSSEC en el Cálculo de Construcciones Inductivas

Con el crecimiento de aplicaciones desarrolladas en base al uso de nombres de dominio, la autenticidad en los datos dentro de DNS (Domain Name System) se ha tornado crítica, haciendo que información falsa dentro del sistema pueda llevar a problemas inesperados y potencialmente peligrosos. Para prove...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Bazán, Ezequiel
Otros Autores: Luna, Carlos D.
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
DNS
DNSSEC
COQ
Métodos Formales
Acceso en línea:http://hdl.handle.net/2133/2663
http://hdl.handle.net/2133/2663
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares