Programa

Protocolos de Segurança para Sistemas Distribuídos

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

Programa

Pretende-se avaliar protocolos com diferentes objectivos e para diferentes modelos de ameaças. A cadeira de segurança leccionada no segundo ciclo abordou alguns protocolos básicos de garantia de integridade e confidencialidade para o modelo de ameaças clássico de Dolev-Yao. Nesta cadeira pretende-se abordar protocolos para outros modelos de ameaças, nomeadamente aqueles em que não existe confiança nos interlocutores. Pretende-se também abordar protocolos para aplicações específicas, tais como: dinheiro electrónico, votação electrónica, negociação de contratos, redes de sensores, etc.