Recuperação de Checkpointing Segura e Confiável em Computação Móvel

Tolerância a falhas e vulnerabilidades de segurança estão relacionadas entre si em sistemas de computação móvel em crescimento popular. Os algoritmos de recuperação de pontos de controlo para proporcionar tolerância a falhas foram aqui concebidos tendo em conta a mobilidade, o handoff, as limitações de recursos e as vulnerabilidades de segurança das redes móveis celulares e das redes móveis adhoc (MANET). Foram propostos algoritmos de controlo de pontos de controlo utilizando criptografia para combater ataques activos e passivos na rede móvel celular. Para reduzir as despesas gerais de encriptação-desencriptação em MANET, sem ter uma infraestrutura fixa de apoio, foi proposta uma recuperação de pontos de controlo baseada na confiança para garantir que apenas os nós de confiança podem participar no processo. Foram propostos dois modelos de confiança, num modelo de confiança a fiabilidade dos nós é avaliada com base na recomendação de outros nós, na taxa de falhas, na disponibilidade ou no tempo de vida de um nó na rede, na energia restante da bateria, e o outro é um modelo de confiança baseado na otimização de colónias de formigas para garantir que os pontos de controlo passam por nós móveis de confiança apenas no momento da recuperação. Os algoritmos são apoiados por teoremas, lemas, provas e simulações sempre que possível.