Disciplina Curricular
Sistemas de Elevada Confiabilidade SDTF
Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda - MEIC-A 2015
Contextos
Grupo: MEIC-A 2015 > 2º Ciclo > Agrupamentos > Sistemas Computacionais
Período:
Grupo: MEIC-A 2015 > 2º Ciclo > Agrupamentos > Ciber-Segurança
Período:
Grupo: MEIC-A 2015 > 2º Ciclo > Agrupamentos > Sistemas Distribuídos
Período:
Peso
7.5 (para cálculo da média)
Objectivos
Fornecer uma perspetiva integrada dos aspetos de confiabilidade no funcionamento no sentido lato, cobrindo não só falhas acidentais, mas também falhas maliciosas e intrusões, combinando as facetas de tolerância a faltas e de segurança no desenvolvimento de sistemas, incluindo desenvolvimentos recentes nas áreas de “Blockchain” e computação confiável.
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
Metodologia de avaliação
Exame (55%), projeto (30%), apresentação artigo (10%) e opinião crítica às apresentações (5%)