Candidato(a): Tales Ribeiro Morais Gurjão Título do Trabalho: Modelo de Segurança Independente de Plataformapara Execução de Software Não Confiável Orientador(es): Hyggo Almeida Angelo Perkusich
Data: 01/09/2016 Horário: 16:00:00 Local: Laboratório Embedded
Resumo: Ataques a sistemas informatizados sempre foram um problema e evoluíram de simples investidas contra instalações físicas nos anos de 1970 a ataques coordenados usando milhares de computadores espalhados ao redor do mundo. Essas ofensivas têm como principal vetor softwares que por vezes se passam por benignos mas se instalam no sistema e agem de forma maligna. Técnicas de isolamento de ambiente de execução e detecção de comportamento são empregadas para mitigar o risco ao executar um código desconhecido e potencialmente perigoso. Porém, muitas alternativas são custosas e, por vezes, dependem de ferramentas externas. Neste trabalho, propõe-se um modelo independente de plataforma para prover segurança na execução de códigos não confiáveis, sem efeitos colaterais para o hospedeiro e para terceiros. O modelo desenvolvido é constituído de dois módulos principais, analisador e executor, os quais (a) extraem metadados referentes ao programa e os utiliza para realizar uma análise prévia do código e (b) realizam checagens em tempo de execução que objetivam a preservação da integridade do sistema e dos recursos associados. A validação da abordagem foi realizada através de estudo de caso de aplicação em computação voluntária.
Banca Examinadora: (Membros Internos) Kyller Costa Gorgônio (Membros Externos) Lenardo Chaves e Silva, UERN Ana Luisa Ferreira de Medeiros, UFCG ----------------------- Coordenação do PPGCC/UFCG |