Um Verificador seguro de integridade de arquivos
AUTOR(ES)
Serafim, Vinícius da Silveira
DATA DE PUBLICAÇÃO
2007
RESUMO
Este trabalho apresenta um modelo de mecanismo para o controle de integridade de arquivos em sistemas operacionais, com a capacidade de bloquear o acesso à arquivos inválidos de forma a conter os danos causados por possíveis ataques. O modelo foi inicialmente formulado a partir do estudo detalhado do processo de controle de integridade, revelando diversos pontos críticos de segurança nele existentes, e da avaliação dos mecanismos atualmente implementados nos sistemas operacionais que oferecem, mesmo que indiretamente, algum tipo de garantia de integridade dos arquivos do sistema. Durante o seu desenvolvimento, a segurança do próprio modelo foi detalhadamente analisada de forma a enumerar os seus pontos críticos e possíveis soluções a serem empregadas, resultando na definição dos requisitos mínimos de segurança que devem ser encontrados nesse tipo de mecanismo. Em seguida, visando a validação do modelo especificado e decorrente disponibilização do mecanismo para uso prático e em estudos futuros, um protótipo foi implementado no sistema operacional GNU/Linux. Procurando confirmar a sua viabilidade, foram realizadas análises do impacto causado sobre o desempenho do sistema. Por fim, foi confirmada a importância e viabilidade do emprego do modelo apresentado como mecanismo adicional de segurança em sistemas operacionais. Além disso, foi colocado em evidência um campo de pesquisa ainda pouco explorado e portanto atrativo para a realização de novos estudos.
ASSUNTO(S)
sistemas operacionais integridade : arquivos linux
ACESSO AO ARTIGO
http://hdl.handle.net/10183/2756Documentos Relacionados
- Um verificador de modelos explícito-simbólico
- Implementação de um servidor de arquivos com transações atomicas
- Integração de IPv6 em um ambiente cooperativo seguro
- Arquivos do comunismo e perspectivas de pesquisa 25 anos após a "Revolução dos Arquivos": Um balanço global
- Arquivos de Pessoa(s): um estudo sobre entendimentos e representações dos arquivos manuscritos na Casa Fernando Pessoa