Disciplina Curricular
Introdução à Computabilidade, Complexidade e Criptografia ICCC
Curso de Especialização em Segurança de Informação e Direito no Ciberespaço - Segurança de Informação e Direito no Ciberespaço
Contextos
Grupo: Segurança de Informação e Direito no Ciberespaço > 3ºciclo
Período:
Peso
7.5 (para cálculo da média)
Objectivos
Conhecer os modelos computacionais comuns, entender os limites do que é computável e as noções básicas da teoria da complexidade. Compreender os conceitos fundamentais da criptografia moderna, os sistemas e protocolos criptográficos em uso.
Programa
Algoritmos e programas. Máquinas de Turing e não -determinismo. Postulado de Church-Turing. Função computável. Linguagens e decidibilidade. Indecidibilidade do problema da terminação. Recursão e a função computável universal. Teorema de Rice e aplicações. Eficiência de programas. Da eficiência de programas às classes de complexidade. As classes P e NP. Sistemas criptográficos simétricos, cifras sequenciais e por blocos. Criptanálise, segurança perfeita e Teorema de Shannon. Os standards DES e AES. Sistemas criptográficos assimétricos, segurança computacional. Os sistemas RSA e ElGamal. Assinaturas digitais. O esquema de assinaturas DSA. Funções de dispersão. Certificados digitais. Protocolos de acordo e distribuição de chaves. O esquema de Diffie-Hellman, Kerberos. Canais inseguros, atacantes passivos e activos.
Metodologia de avaliação
Testes