BDBComp
Parceria:
SBC
Verificação de Integridade de Software Embarcado através de Análise de Tempo de Resposta

Luiz Fernando Rust da Costa CarmoR. C. S. Machado

Verificação de integridade de software embarcado é uma preocupação importante em diversas aplicações. É desafiador o problema de verificar a integridade do software em execução em um dispositivo sem que seja necessário ler o conteúdo da memória de código executável do dispositivo. No presente trabalho, propomos uma abordagem de verificação de integridade de software que dispensa o acesso externo às instruções do programa em execução. Nossa abordagem usa o conceito de “reflexão”, no qual o software deve responder a questões sobre ele mesmo. Demonstramos que, sob certas hipóteses bastante plausíveis, é possível construir um protocolo em que apenas o software íntegro será capaz de responder corretamente, e no tempo esperado, às perguntas a ele feitas.

http://www.lbd.dcc.ufmg.br/colecoes/sbseg/2009/012.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