Programa
Sistemas de Elevada Confiabilidade
Mestrado Bolonha em Engenharia de Telecomunicações e Informática
Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark
Programa
1) Fundamentos de confiança no funcionamento a) Taxonomia (falta, erro, failha) b) Fiabilidade, disponibilidade, capacidade de manutenção, segurança c) Modelo de faltas e d) Redundância espacial,, temporal e de valor. Codificação. Redundância modular tripla. e) Processamento de erros. Recuperação para a frente e para trás. f) Detecção de falhas e diagnóstico. Monitores. 2) Hardware Seguro a) Dispositivos de segurança b) Smartcards c) Plataformas confiáveis d) Sistemas biométricos 3) Segurança a) Segurança física b) Proteção c) Tolerância a intrusões 4) Tolerância a faltas Bizantinas a) Eleição de líder Byzantina b) Difusão Byzantino c) Memória Byzantino d) Consenso Byzantino e) Máquina de estados replicada Byzantina 5) Factores humanos a) Factores humanos na segurança b) Engenharia social