Disciplina Curricular

Modelos Computacionais em Segurança MCS

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 os modelos computacionais de concepção e de análise de protocolos de segurança e perspectivar desenvolvimentos futuros.

Programa

Cenários básicos de formalização: criptografia perfeita, intruso de Dolev-Yao, álgebra livre de mensagens. Revisão dos objectivos e protocolos de segurança. Protocolos de segurança como sistemas concorrentes. Traços, álgebras de processos e CSP, reescrita, cálculos pi e spi, estruturas de eventos, tranças, modelos computacionais e máquinas de Turing interactivas. Resultados de (in)decidibilidade e complexidade. Análise da correcção e completude das abstracções simbólicas. Ferramentas para verificação de propriedades de segurança, AVISPA, ProVerif, inter alia.

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

2008/2009 - 1 Semestre

2007/2008 - 1 Semestre