Disciplina
Modelos Computacionais em Segurança
Área
Área Científica de Metodologia e Tecnologias da Programação > Algoritmia
Activa nos planos curriculares
DEASegInf2021 > DEASegInf2021 > 3º Ciclo > Engenharia Informática > Metodologia e Tecnologia da Programação > Modelos Computacionais em Segurança
DEAEIC2006 > DEAEIC2006 > 3º Ciclo > Modelos Computacionais em Segurança
DEASegInf2007 > DEASegInf2007 > 3º Ciclo > Engenharia Informática > Metodologia e Tecnologia da Programação > Modelos Computacionais em Segurança
Nível
Exame + Projecto.
Tipo
Não Estruturante
Regime
Semestral
Carga Horária
1º Semestre
3.0 h/semana
130.0 h/semestre
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.