Um analisador de tráfego de redes de computadores baseado em Lógica Paraconsisente Anotada Evidencial Et

Resumo

As redes de computadores, cada vez mais, têm se tornado um meio importante de difusão de informações para as corporações, instituições de ensino e usuários comuns. A facilidade, rapidez e baixo custo no acesso a conteúdos têm feito com que cada vez mais usuários se conectem à rede mundial de computadores. Porém, essa demanda por recursos pode gerar também um aumento significativo de problemas na operação da infraestrutura da rede que, por suas características de distribuição e descentralização, acaba envolvendo todos os que nela se encontram conectados. Ainda que as redes de computadores possam utilizar diferentes equipamentos e arquiteturas, os elementos para análise do desempenho praticamente são os mesmos. Porém, a natureza estocástica de cada um deles dificulta uma análise determinística de eventuais problemas que possam ocorrer. Dessa forma, não é possível utilizar métricas predefinidas para a análise de seu comportamento, sendo necessário efetuar uma parametrização dos valores de operação da rede de forma personalizada de acordo com seu desenho atual. Esses valores podem ser obtidos a partir da opinião de especialistas na área, como também podem ser aprendidos a partir da operação da própria rede. Com base na determinação dos valores considerados normais na operação de uma rede de computadores, eventuais desvios podem ser detectados, entre eles, a ocorrência dos chamados malwares, que podem facilmente ser disseminados nesse ambiente. Esta tese tem como objetivo estabelecer os atributos de funcionamento para cada rede particular de computadores e, a partir da opinião de especialistas e da operação da própria rede, detectar e discutir situações potencialmente anômalas em seu funcionamento e buscar os chamados malwares de forma sistêmica e não intrusiva com o uso da Lógica Et.