|
Conteúdos programáticos |
Introdução a Criptografia com uma abordagem clássica e histórica..
Segurança Perfeita duma Cifra. Definições e a cifra de Vernam(one time pad.). Teoremas de Shannon
Criptografia Simétrica (chave privada)
Segurança Concreta, Segurança Computacional e Semântica
Geradores pseudoaleatórios. Cifras de fluxo.
Cifras CPA, MAC, Funções de Hash. Construções de cifras de bloco (DES, AES). Cifras Autenticadas
Teoria de Números e Grupos.
Merkle Puzzles e Diffie-Hellman
Cifras Assimétricas (chave publica) (RSA e El-Gamal). Assinaturas Digitais
Sistemas de Criptografia Avançadas : Criptográfica de Curvas elípticas, Criptografia Homomórfica e Criptografia baseado em Reciclados.
Protocolos para autenticação e protocolos de conhecimento zero. Casos de Estudo.
Sintaxe e Notação para descrever protocolos de segurança da informação.
Ferramentas de Verificação Formal de Protocolos De Segurança e Criptográficos.
|
|
Bibliografia principal |
Introduction to Modern Cryptography: Principles and Protocols, Jonathan Katz, Yehuda Lindell, Chapman & Hall, 2nd Edition, 2015.
Protocols for Authentication and Key Establishment, Colin Boyd, Anish Mathuria, 2003 ISBN: 978-3-642-07716-6, Springer
Handbook of Applied Cryptography, Menezes, Oorschot and Vanstone, 1997, CRC Press
A Classical Introduction to Cryptography Applications for Communications Security, Serge Vaudenay, Springer, 2005.
A Classical Introduction to Cryptography Exercise Book, Thomas Baigneres, Pascal Junod, Yi Lu, Jean Monnerat, Serge Vaudenay, Springer, 2005.
A Course in Number Theory and Cryptography (2nd Ed.), Neal Koblitz, Springer-Verlag’s Graduate Texts in Mathematics, 1994.
|