Disciplina Curricular
Segurança de Software SSoft
Mestrado Bolonha em Engenharia Informática - 5_MEI 2025/26
Contextos
Grupo: 5_MEI 2025/26 > 2º Ciclo > Parte Escolar > 2033 - MEI - Grupo Opcional Geral (CEI)
Período:
Grupo: 5_MEI 2025/26 > 2º Ciclo > Parte Escolar > Agrupamento Curricular de Especialização > Sistemas Móveis e Ubíquos > 2032 - MEI - Sistemas Móveis e Ubíquos - Livres
Período:
Grupo: 5_MEI 2025/26 > 2º Ciclo > Parte Escolar > Agrupamento Curricular de Especialização > Segurança Informática > 2027 - MEI - Segurança Informática - Nucleares
Período:
Grupo: 5_MEI 2025/26 > 2º Ciclo > Parte Escolar > Agrupamento Curricular de Especialização > Segurança Informática > 2028 - MEI - Segurança Informática - Livres
Período:
Peso
6.0 (para cálculo da média)
Objectivos
O número de ataques informáticos observados nos últimos anos teve um crescimento quase exponencial. No que diz respeito à integridade dos sistemas e à confidencialidade dos dados, torna-se cada vez mais evidente que o elo mais fraco é a segurança do computador e, em particular, o software que ele executa. O tema desta unidade curricular é a segurança da máquina, nomeadamente do seu software, por contraposição à segurança das comunicações/rede. São abordados os principais tópicos necessários para entender e enfrentar o problema, incluindo a discussão de uma série de temas mais avançados que se encontram atualmente no domínio da investigação.
Programa
Componente Teórica: Conceitos de segurança e o processo de desenvolvimento de software; Princípios para a construção de software seguro; Mecanismos de proteção em sistemas operativos convencionais; Estudo exaustivo de várias classes de vulnerabilidades, incluindo: Buffer overflows, format strings, integer overflows; Validação de input (SO, Web e BDs); Condições de corrida; Erros específicos nas aplicações Web e Bases de Dados; Mecanismos para a descoberta automática de vulnerabilidades, como o fuzzing, e a análise estática; Metodologias de auditoria de segurança de software. Componente Teórico-prática: Aulas em ambiente laboratorial, abordando exemplos práticos sobre os seguintes temas: Buffer overflows; Format strings; Validação de input e outros erros nas aplicações da Web e BDs; Condições de corrida; Testes de segurança (Fuzzing e Análise estática).
Métodos de ensino e avaliação
Avaliação: 15% - Resolução de um conjunto de mini-projetos nas aulas teórico-práticas; 35% - um projeto e a apreciação e discussão individual dos resultados obtidos; 50% - Exame final Melhorias de Nota: uma melhoria de nota obriga à realização de todas as componentes da avaliação