Lógica Cleística
+ Info
pt
en
Últimos anúncios
Corpo Docente
Carlos Caleiro
Responsável
carlos.caleiro@tecnico.ulisboa.pt
×
More information
Details
Previous Years
Degrees
Descrição:
Dominar os modelos simbólicos de concepção e de análise de protocolos de segurança e perspectivar desenvolvimentos futuros.
2023/2024 - 1º semestre -- (DEASegInf)
2022/2023 - 1º semestre -- (DEASegInf)
Diploma de Estudos Avançados em Segurança de Informação - DEASegInf2021
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Pré-requisitos
Componente Laboratorial
Componente de Programação e Computação
Competências Transversais
Princípios Éticos
Notas