Programa

Sistemas de Elevada Confiabilidade

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

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