Assinaturas de chave públicas sem certificados

Nesta tese e apresentada uma visao do campo de Assinaturas de Chave Publica sem Certificados (CL-PKC), resultado final de pesquisa empreendida durante o mestrado do autor na Universidade Estadual de Campinas. A abordagem aqui contida tem como principal base a Seguranca Demonstravel; analisamos os modelos de seguranca de CL-PKC, os esquemas ja propostos na literatura, e suas demonstracoes de seguranca. Contribuimos tambem alguns novos resultados para a area, especificamente: o estudo da aplicabilidade do Lema da Bifurcacao `a esquemas de CL-PKC (§ 4.3.3); o algumas pequenas otimizacoes a esquemas seguros (§ 4.4.1); o demonstracao de seguranca para um esquema cuja seguranca ainda era um problema em aberto (§ 4.4.2); o explicacao de falhas em demonstracoes de seguranca de alguns esquemas (§ 4.4.4, § 4.4.5, § 4.4.7); o um ataque desconhecido a um esquema anteriormente suposto seguro (§ 4.4.4); o proposta de um modelo de seguranca para agregacao de assinaturas no modelo CLPKC (§ 5.4); o proposta de um novo esquema de assinaturas CL-PKC que permite agregacao, assim como sua prova de seguranca (§ 5.2) Abstract