Programa

Segurança em Software

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Mestrado Bolonha em Engenharia de Telecomunicações e Informática

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Programa

Princípios da segurança de computadores Propriedades e conceitos básicos; Princípios de projecto de software seguro. • Vulnerabilidades em Software Aplicações convencionais (buffer overflows, corridas); Aplicações Web e bases de dados; Aplicações móveis; Cópia e modificação de software; • Aspectos de desenvolvimento de software seguro Auditoria de software; Validação e codificação. • Controlo do ambiente de execução Protecção dinâmica; Virtualização e segurança; Trusted computing. • Segurança baseada em linguagem Análise de fluxos de informação; Sistemas de tipos para a segurança; Desenvolvimento de código de baixo nível seguro; Código portador de prova. • Caso de estudo: segurança em Java Sandboxing e inspecção da pilha; Falhas de segurança em Java; Princípios de programação segura em Java.