Utilizando a Abordagem Funcional na Programação Quântica
Eduarda Rodrigues Monteiro¹
Renata Hax Sander Reiser, Juliana Kaizer Vizzotto, Antônio Carlos Rocha Costa
NAPI - ESIN – UCPEL
{eduardam, reiser, jkv, rocha}@ucpel.tche.br
1. Introdução
• Este projeto tem como objetivo aplicar o estudo e implementação de algoritmos quânticos para
criptografia, utilizando a linguagem Haskell e a metodologia introduzida por Amr Sabry.
8
1
2
7
3
6
5
4
2. Protocolo BB84
O protocolo BB84 criado por Charles Bennett e Gilles
Brassard em 1984, consiste na distribuição segura da
chave. Após sua aplicação utiliza-se um algoritmo
clássico para transmissão da mensagem criptografada
a partir da chave gerada. Considerando
Alice(emissor), Bob(receptor) e Eva(intrusa) as
seguintes etapas são:
Etapa 1. Envio da seqüência dos bits aleatórios
através de fótons que podem estar em duas
polarizações: retilíneas (+) ou diagonais (x),
caracterizando a freqüência da chave inicial;
Etapa 2. Reconciliação de bases, por um canal clássico
público;
Etapa 3. Verificação da taxa de erro;
Etapa 4. Correção de erros, como ruídos no canal,
equipamentos com defeitos;
Etapa 5. Amplificação da privacidade para assegurar o
sigilo dos dados.
4. Execução da Implementação
3. Características do Protocolo
• Utiliza propriedades da Mecânica Quântica;
• Aplica autenticação chamada de “aumentador de
segredo”, pois antes de iniciar o protocolo gera uma
outra chave, guardada para próxima etapa e
dificultando o acesso de um espião;
• Possibilidade de desenvolver estratégias importantes
e eficientes para identificar intrusos.
5. Continuidade do Projeto
• Estudo e implementação de outros protocolos para
distribuição de chave.
1. Bolsista PIBIC/CNPq
Universidade Católica de Pelotas, Escola de Informática, Pelotas/RS, Brasil, CEP 96010-000
Apoio UCPel / Fundo de Apoio à Divulgação Científica - FADC