Programa

Lógica Cleística

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

Diploma de Estudos Avançados em Matemática

Programa

Cenários básicos de formalização: criptografia perfeita, intruso de Dolev-Yao. Lógicas epistémicas, sistemas de agentes, conhecimento partilhado, lógica BAN e lógicas temporais. Aplicações. Teorias de segurança em sistemas lógicos computacionais: teorias indutivas, programação em lógica. Verificação semântica de protocolos: limitações dos modelos finitos, técnicas de abstracção e verificação simbólica. Cenários avançados de formalização: ataques probabilísticos, extensões ao intruso de Dolev-Yao, álgebras de mensagens. Resultados de fidelidade da representação.