Detalhes bibliográficos
| Ano de defesa: |
2007 |
| Autor(a) principal: |
SILVA, Marcelo Gama da |
| Orientador(a): |
QUEIROZ, Ruy José Guerra Barreto de |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal de Pernambuco
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://repositorio.ufpe.br/handle/123456789/2668
|
Resumo: |
Quando um esquema criptográfico é definido sobre um grupo, criptografar mensagens equivale a fazer com que variáveis de alguma equação tomem valores nesse grupo, enquanto que quebrar esse esquema significa descobrir quais valores as variáveis tomaram. Portanto, a segurança de tais esquemas está associada à dificuldade de se resolver equações sobre grupos. A utilização de grupos livres seria uma possível solução para esse problema; entretanto, apenas equações triviais podem ser resolvidas sobre grupos livres. Além disso, os grupos livres são infinitos, o que não é interessante do ponto de vista computacional. Uma alternativa foi proposta por Susan Hohenberger em 2003, dando origem à noção de grupos pseudo-livres , refinada posteriormente por R. Rivest. Informalmente, um grupo pseudo-livre caracteriza-se por não poder ser distinguido, de modo eficiente, de um grupo livre. Do ponto de vista computacional, isto significa que a probabilidade de que se resolva uma equação não trivial sobre um grupo pseudo-livre é desprezível. Dessa forma, encontramos um ambiente adequado para lidarmos com questões de segurança de esquemas criptográficos. Dois conceitos merecem destaque nesse contexto. O conceito de grupos pseudo-livres, como veremos a seguir, é de fundamental importância para a criptografia moderna, enquanto que o conceito de primos seguros tem sua relevância associada ao criptossistema RSA. Este trabalho tem três objetivos principais. Inicialmente estaremos interessados em estudar alguns dos chamados problemas computacionalmente difíceis e sua utilização na construção de esquemas criptográficos seguros. Um outro objetivo é o estudo detalhado do Teorema de Micciancio sobre grupos pseudo-livres. Finalmente, voltaremos nossas atenções para a geração de primos seguros, pois estes estão diretamente relacionados com a segurança do criptossistema RSA. Em particular, propomos um novo algoritmo para geração de primos seguros que, através de um teorema devido a Euler e Lagrange e da lei de reciprocidade quadrática de Gauss, evita em grande parte os testes de primalidade |
