Introdução à Segurança Demonstrável

Abstract

Segurança demonstrável é a área de criptografia teórica que estuda a definição formal de requisitos de segurança forte e provê métodos para analisar esquemas criptográficos em relação a esses requisitos. Atualmente há dois modelos principais usados para demonstrar a segurança de tais esquemas: o modelo padrão e o modelo do oráculo aleatório. Usando uma abordagem histórica, descrevemos os primórdios da criptografia moderna e a necessidade de noções de segurança forte, os primeiros esquemas demonstravelmente seguros e o surgimento do modelo do oráculo aleatório. Este texto procura ser uma referência introdutória para os interessados em compreender as técnicas de segurança demonstrável.