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