Disciplina Curricular

Segurança em Linguagens de Programação SLP

Diploma de Estudos Avançados em Segurança de Informação - DEASegInf2007

Contextos

Grupo: DEASegInf2007 > 3º Ciclo > Engenharia Informática > Metodologia e Tecnologia da Programação

Período:

Peso

6.0 (para cálculo da média)

Pré-requisitos

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.

Disciplinas Execução

2017/2018 - 1ºSemestre

2016/2017 - 1ºSemestre

2015/2016 - 1º Semestre

2014/2015 - 1º Semestre

2013/2014 - 1 Semestre

2012/2013 - 1 Semestre

2011/2012 - 1 Semestre

2010/2011 - 1 Semestre

2009/2010 - 1 Semestre

2007/2008 - 1 Semestre