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%)

Disciplinas Execução

2020/2021 - 2º Semestre

2019/2020 - 2º Semestre

2018/2019 - 2ºSemestre

2017/2018 - 2ºSemestre

2016/2017 - 2ºSemestre

2015/2016 - 2º Semestre