Verificación formal de código binario

Mostrar todas las versiones(2)

Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene acceso al código binario y no al código fuente del programa vulnerable debido a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Arch, David Daniel
Otros Autores: Barsotti, Damián
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Verificación de programas
Acceso en línea:http://hdl.handle.net/11086/2830
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares