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

Main Author: Bazán, Ezequiel
Other Authors: Luna, Carlos D.
Format: Tesis de Grado
Language: Castellano
Published: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2011-09-29
2011-09-29
Series: http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=40
Subjects:
DNS
COQ
Online Access: http://hdl.handle.net/2133/2663