Programa

Sistemas de Elevada Confiabilidade

Mestrado Bolonha em Engenharia de Telecomunicações e Informática

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

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

Programa

1) Fundamentos de confiabilidade a) Taxonomia (falta, erro, falha) b) Fiabilidade, disponibilidade, capacidade de manutenção, segurança c) Modelo de faltas e cobertura 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) Deteção de falhas e diagnóstico. Monitores. 2) Segurança e fundamentos de criptografia a) Introdução à criptografia b) Terminologia base em segurança e criptografia c) Revisão dos serviços criptográficos básicos: confidencialidade, integridade, autenticação, não repúdio, gestão de chaves 3) Tolerância a faltas Bizantinas a) Eleição de líder Bizantina b) Difusão Bizantina c) Memória Bizantina d) Consenso Bizantino e) Máquina de estados replicada Bizantina 4) Fundamentos de Blockchain a) Registos distribuídos b) Prova de trabalho, prova de empenho, prova de atividade, etc c) Sistemas Blockchain: Bitcoin, Ethereum d) Aplicações: criptomoedas, contratos inteligentes 5) Computação confiável a) Noção de confiança b) Suporte de Hardware para computação segura e confiável i) Smartcards ii) Trusted Platform Module iii) Intel Software Guard Extensions iv) ARM Trustzone 6) Segurança de sistema a) Segurança física b) Proteção física de sistemas c) Plataformas confiáveis d) Tolerância a intrusões