Disciplina
Segurança em Linguagens de Programação
Área
Área Científica de Metodologia e Tecnologias da Programação > Programação
Activa nos planos curriculares
DEASegInf2021 > DEASegInf2021 > 3º Ciclo > Engenharia Informática > Metodologia e Tecnologia da Programação > Segurança em Linguagens de Programação
DEAEIC2006 > DEAEIC2006 > 3º Ciclo > Segurança em Linguagens de Programação
DEASegInf2007 > DEASegInf2007 > 3º Ciclo > Engenharia Informática > Metodologia e Tecnologia da Programação > Segurança em Linguagens de Programação
Nível
Exame + Projecto.
Tipo
Não Estruturante
Regime
Semestral
Carga Horária
1º Semestre
3.0 h/semana
126.0 h/semestre
Objectivos
Dominar a segurança baseada em linguagens, com ênfase no controlo do fluxo de informação.
Programa
Complementos de semântica de linguagens, teoria de tipos, lógicas e cálculos para computação. Mecanismos de segurança: dinâmicos e estáticos. Formalização de políticas de segurança: confidencialidade, integridade, privacidade, anonimato. Tipificação do fluxo seguro de informação: uso de sistemas de tipos para garantir propriedades de fluxo de informação (não-interferência e suas generalizações). Outros tópicos em segurança baseada em linguagens: código portador de prova, compilação certificada, linguagem máquina tipificada, inspecção da pilha de segurança.
Metodologia de avaliação
Exame + Projecto.
Pré-requisitos
Componente Laboratorial
Princípios Éticos
Componente de Programação e Computação
Componente de Competências Transversais
Bibliografia
Secundária
http://nob.cs.ucdavis.edu/book/