Confiabilidade de Sistemas Distribuídos

Code

11555

Academic unit

Faculdade de Ciências e Tecnologia

Department

Departamento de Informática

Credits

6.0

Teacher in charge

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

Weekly hours

4

Teaching language

Português

Objectives

The course aims at the acquisition of specialization skills related to foundations, design principles, paradigms and techniques, to develop dependable and trustable distributed systems instantiated on specialized environments ranging from large-scale internet deployments, cloud-computing and data storage systems, mobile and ubiquitous computing systems and cyber-physical environments for IoT solutions. In the context of the course topics, dependability is treated as the combination of security, privacy, availability and reliability properties and design techniques, in order to address the design of intrusion and fault-tolerant distributed systems and applications.

Subject matter

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

Bibliography

• 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

Evaluation method

Components

• Two intermediate tests (T1, T2)
• T1 (20% of the final grade)
• T2 (30% of the final grade)
• Two work assignments / mini-projects (P1, P2), developed in a workgroup (2 students)
• P1 (20% of the final grade) evaluated in two components:
• P1 assessment (15%)
• P1 individual test (5%)
• P2 (30%)

Courses

• Computer Science and Engineering