Programa

Introdução à Computabilidade, Complexidade e Criptografia

Mestrado Bolonha em Segurança de Informação e Direito no Ciberespaço

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.