BDBComp
Parceria:
SBC
Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos

Vitor Mendes PaisanteLuiz Felipe Zafra SaggioroRaphael Ernani RodriguesLeonardo Barbosa OliveiraFernando Magno Quint~ao Pereira

The range analysis of integer variables determines the lowest and highest bounds that each variable assumes throughout the execution of a program. This technique is vital to detect a plethora of software vulnerabilities but the literature does not describe any principled way to apply range analysis on distributed systems. This negligence is unfortunate, as networks are the most common targets of software attacks. The goal of this paper is to set right this omission. Capitalizing on a recent algorithm to infer communication protocols, we have designed, implemented and tested a range analysis for distributed systems. Our contribution, a holistic view of the system, is more precise than analyzing each system module independently. In this paper we support this statement through a number of examples, and experiments performed on top of the SPEC CPU 2006 benchmarks. A prototype of our tool, implemented on the LLVM compiler, is available for scrutiny

http://www.lbd.dcc.ufmg.br/colecoes/sbseg/2014/0016.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD