Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Verificación formal de código binario / David Daniel Arch.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2015.Descripción: 146 p. : il. ; 30 cmTema(s): Recursos en línea: Disponible en línea.Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015. Resumen: 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 al uso del lenguaje de bajo nivel ensamblador, la poca estructura que presenta este lenguaje, la ausencia de funciones bien definidas y de tipos de datos abstractos entre otros. Con el objetivo de facilitar el trabajo de los investigadores de seguridad presentamos una extensión para el framework BAP que agrega soporte para la verificación de buffer overflow en código binario mediante el uso de SMT solvers.Resumen: Buffer overflows are one the most common vulnerabilites found on daily used software. This kind of vulnerability analysis is tedious and complex when researchers have access to binary code but don't have access to the source code of the program. This is due to the low level language assembler, the abscence of well defined functions and the absence of abstract data types among other factors. With the goal of making the job of security researchers easier is that we extended BAP to introduce a new feature that allows BAP to verify the presence of buffer overflow errors on binary code by using SMT solvers.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 20 - 22401 1 Disponible Disponible también en línea 22401
Total de reservas: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2015.

Bibliografía : p. 145-146.

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 al uso del lenguaje de bajo nivel ensamblador, la poca estructura que presenta este lenguaje, la ausencia de funciones bien definidas y de tipos de datos abstractos entre otros. Con el objetivo de facilitar el trabajo de los investigadores de seguridad presentamos una extensión para el framework BAP que agrega soporte para la verificación de buffer overflow en código binario mediante el uso de SMT solvers.

Buffer overflows are one the most common vulnerabilites found on daily used software. This kind of vulnerability analysis is tedious and complex when researchers have access to binary code but don't have access to the source code of the program. This is due to the low level language assembler, the abscence of well defined functions and the absence of abstract data types among other factors. With the goal of making the job of security researchers easier is that we extended BAP to introduce a new feature that allows BAP to verify the presence of buffer overflow errors on binary code by using SMT solvers.

Disponible en línea.

cc Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina. CC BY-NC-SA

https://creativecommons.org/licenses/by-nc-sa/2.5/ar/

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)