Programa

Modelos Computacionais em Segurança

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

Diploma de Estudos Avançados em Engenharia Informática e de Computadores

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.