Faculdade de Ciências e Tecnologia

Confiabilidade de Sistemas Distribuídos

Código

11555

Unidade Orgânica

Faculdade de Ciências e Tecnologia

Departamento

Departamento de Informática

Créditos

6.0

Professor responsável

Henrique João Lopes Domingos, Nuno Manuel Ribeiro Preguiça

Horas semanais

4

Língua de ensino

Português

Objectivos

A unidade curricular visa a aquisição e aprofundamento de conhecimentos especializados, competências e aptidões necessárias para a compreensão, desenho, desenvolvimento e operação de sistemas distribuídos seguros e confiáveis em ambientes de redes de grande escala e de cibersegurança na Internet, cobrindo desde a confiabilidade de sistemas para computação móvel e suas aplicações; armazenamento confiável de dados na nuvem; e segurança de sistemas ciber-físicos em redes ad-hoc para ambientes Internet-of-Things (IoT). Na orientação da disciplina, a abordagem das propriedades de confiabilidade integra as propriedades de segurança, privacidade, disponibilidade e fiabilidade, combinadas nos princípios de concepção, técnicas s soluções para construção de sistemas distribuídos e aplicações internet tolerantes a intrusões.


Conteúdo

  1. Introdução, problemática da confiabilidade de sistemas distribuídos e propriedades de um sistema confiável. Modelos de confiabilidade para tolerância a falhas e tolerância a intrusões
  2. Tolerância a intrusões
    1. Consenso
    2. BFT
  3. Detecção, prevenção e recuperação de Intrusões
  4. Técnicas de defesa de ataques de Negação de Serviço e soluções
  5. Segurança de Redes sem Fio
  6. Técnicas e tecnologias para bases de computação confiável (TCB)
  7. Armazenamento confiável
    1. Erasure codes
  8. "Usable security" e segurança de sistemas móveis 
  9. Computações com dados cifrados

Bibliografia

  • William Stallings and Lawrie Brown, Computer Security - Principles and Practice, 3rd Edition, Prentice Hall, 2014
  • K. Birman, Reliable Distributed Computing, Springer 2005
  • R. Anderson, Security Engineering – A Guide to Building Dependable Distributed Systems, Wiley, 2008

Método de avaliação

Componentes da avaliação
  • Dois testes de frequência (T1, T2)
    • T1 (20% da avaliação)
    • T2 (30% da avaliação)
  • Dois mini-projetos (P1, P2), desenvolvidos em grupos até 2 alunos
    • P1 (20% da avaliação), dividido em:
      • Avaliação do projeto (15%)
      • Teste individual sobre o projeto (5%)
    • P2 (30%)

Condições de aprovação

  • Aprovação em frequência
    • Todos os componentes (T1, T2, P1 e P2)  têm que ter avaliação superior a 8/20 valores
    • A avaliação de todos os componentes deverá ser superior a 9,5/20 valores
  • Condições de acesso ao exame de recurso (R)
    • Os componentes P1 e P2 têm que ter avaliação superior a 8/20 valores
    • O resultado dos componentes P1 e P2 deve ser superior a 9,5/20 valores
  • Aprovação em recurso
    • Peso do Exame de Recurso: 50% da nota final
    • A nota do exame de recurso (R) deve ser superior a 8/20 valores
    • O resultado de P1, P2 e R deve ser superior a 9,5/20 valores.

Cursos