joão pedro francese trabalho final de redes i prof. otto duarte - gta/ufrj

29
Criptografia Quântica João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Upload: internet

Post on 18-Apr-2015

109 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Criptografia Quântica

João Pedro Francese

Trabalho Final de Redes IProf. Otto Duarte - GTA/UFRJ

Page 2: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Escrita oculta O que é? R.: Estudo das técnicas de ocultar informações Criptoanálise e criptologia

Criptografia

Page 3: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

600 AC ao século XX: técnicas simples:◦ Transposição◦ Substituição

Exemplos:◦ Atbash (inversão das letras)◦ César (rotação)

Século XX: aparelhos mecânicos e fórmulas matemáticas Década de 1940: computadores famosos◦ Enigma◦ Colossus

Criptografia Clássica

Page 4: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Técnica moderna mais simples Função matemática converte texto puro em texto

criptografado Mesma chave para cifrar e decifrar Vantagem:◦Velocidade

Desvantagem:◦ Trocar a chave secreta

Criptografia Simétrica

Page 5: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Década de 1970 Uma chave para cifragem e outra para decifragem Chaves relacionadas através de uma função:◦ Simples de criar a pública a partir da privada◦O inverso é extremamente demorado!

Vantagem:◦ Troca de chaves simples

Desvantagem:◦ Lento

Criptografia Assimétrica

Page 6: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Confidencialidade

Integridade

Autenticidade

Aplicações

Page 7: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Teoria física desenvolvida no século XX Mundo clássico: determinismo Mundo quântico: incertezas Dois princípios:◦A energia é quantizada◦ Toda partícula é uma onda

Princípio da Incerteza de Heisenberg:Δx Δpx ≥ h / 2π

Barreira intransponível!

Mecânica Quântica

Page 8: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Evolução da computação por miniaturização◦ Limite físico

Solução: uso dos efeitos quânticos Bit: 0 ou 1 Qubit: 0, 1 ou ambos (até ser medido) Vetor de n qubits: 2n estados Qubits não podem ser copiados

Computadores Quânticos

Page 9: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Mesmo tamanho de entrada e saída Aplicada sobre todos os estados possíveis◦ Cálculos paralelos!

Resultado também é probabilístico!

Funções Quânticas

Page 10: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Problemas exponenciais resolvidosem tempo polinomial

Algoritmo de Shor (1994):Fatoração de primos em O(log3 n)

Chaves RSA quebradas Como resolver este problema?

Criptoanálise Quântica

Page 11: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Princípios da física quântica para garantir a segurança 1970: armazenar partículas◦ Impraticável

1980: envio de fótons Polarização◦Medição em uma base

Emaranhamento

Criptografia Quântica

Page 12: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Envio seguro de chaves Não precisam de conhecimento compartilhado Espiões passivos detectados Chave gerada usada para criptografia simétrica

Distribuição Quântica de Chave

Page 13: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

1. Alice envia fótons2. Bob escolhe bases e mede3. Bob diz as bases escolhidas4. Alice confirma as bases certas

Protocolo BB84:

Page 14: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

5. Ambos descartam bases incorretas6. Fótons são convertidos para bits7. Bob compara alguns bits com Alice

e. Iguais: ok!f. Diferentes: descartar tudo

Protocolo BB84:

Page 15: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Processo repetido para aumentartamanho da chave

Espião passivo tem de medir os fótons Escolha da base errada interferência Probabilidade arbitrariamente pequena

do espião ter sucesso

Protocolo BB84:

Page 16: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Bit Commitment Como garantir sua resposta sem divulgá-la? Informação de compromisso baseada na resposta◦ Ex.: hash

Ligante Ocultante Impossível ser ambas

Esquema de Compromisso

Page 17: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Oblivious Transfer ou Multiplexação Quântica Envio simultâneo de vários dados Apenas um pode ser lido O emissor não sabe qual foi escolhido Ex.: fótons emaranhados

Transferência Desinformada

Page 18: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Confiabilidade Segurança garantida pelos princípios físicos Não se apóia em supostas dificuldades Intruso pode ser detectado

Vantagens

Page 19: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Transmissão de fótons sensível a erros◦ Correção de erro quântica (QEC)

Ruídos do meio◦ Confundidos com espiões passivos

Desvantagens

Page 20: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Dificuldades e custos Descoerência◦ Shor para 200 algarismos 3500 qubits◦ Perda de ligação em menos de 1ms

Não factível para uso em larga escala

Desvantagens

Page 21: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Nem todo ataque pode ser evitado Ataques ativos:◦ Espião pode receptar e reenviar dados◦Maior chance para o espião

Exploração de imperfeições:◦ Envio de feixes de fótons◦ Interceptação de parte do feixe

Ataques

Page 22: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Área promissora Desafios de escala a superar Estado atual:◦ 150km por fibra ótica◦ 140km ao ar livre

Tentativas próximas:◦ Envio por satélite e através de sólidos

Considerações Finais

Page 23: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Usos práticos em 2007:◦ Transferência bancária na Áustria◦ Transmissão de dados eleitorais na Suíça

Muitos investimentos na área:em busca da supremacia tecnológica

Considerações Finais

Page 24: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Perguntas

Criptografia QuânticaJoão Pedro Francese

Page 25: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Em um esquema de chave pública, por que seus dados criptografados não ficarão desprotegidos se você divulgar sua chave pública?

Resposta:A chave pública é metade do quebra-cabeça.É preciso ter a chave privada para decodificar as informações.

Perguntas

Page 26: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Por que a criptografia tradicional corre sério risco com a difusão da computação quântica?

Resposta:Porque ela é baseada na suposta dificuldade de alguns cálculos matemáticos.A computação quântica pode tornartais operações factíveis.

Perguntas

Page 27: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Por que se considera que a transmissão quântica de chaves não pode sofrer espionagem passiva?

Resposta:A medição dos bits quânticos por parte do espião altera os dados recebidos e isto pode ser detectado pelas partes legítimas.

Perguntas

Page 28: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Cite três características importantes defunções que atuam sobre bits quânticos.

Resposta:1. Mesmo número de qubits de entrada e saída.2. Operam sobre todos os estados simultaneamente.

(paralelização exponencial)3. Resultado probabilístico.

(chance de não obter a resposta desejada)

Perguntas

Page 29: João Pedro Francese Trabalho Final de Redes I Prof. Otto Duarte - GTA/UFRJ

Por que a criptografia quântica é usada apenas na transmissão de chaves e não para outros fins, como a criptografia permanente de dados?

Resposta:Devido à dificuldade de armazenar fótons polarizados ou emaranhados.A comunicação quântica é possível pois é relativamente simples enviar fótons.

Perguntas