Distribuição quântica de chaves: rumo à comunicação segura

Abstract

The security of the cryptographic protocols currently used for secure communications relies on the computational difficulty of solving certain mathematical problems, thus characterizing what is known as computational security. In contrast, quantum key distribution (QKD) offers a more fundamental level of security, grounded in the laws of quantum mechanics. However, one of the current challenges is ensuring that practical implementations of QKD strictly match the theoretical idealizations of the protocols. In this article, we present the main results that formalize the security proof of quantum key distribution. We also discuss some of the technical and conceptual challenges involved in incorporating experimental imperfections into security proofs, with the goal of developing protocols that are both practical and secure.

A segurança dos protocolos de criptografia utilizados atualmente para comunicações seguras se baseia na dificuldade computacional de resolver certos problemas matemáticos, caracterizando assim a chamada segurança computacional. Em contraste, a distribuição quântica de chaves (DQC) oferece um nível de segurança mais fundamental, baseado nas leis da mecânica quântica. Contudo, um dos grandes desafios atuais é assegurar que as implementações práticas de DQC correspondam às idealizações teóricas dos protocolos. Neste artigo, apresentamos os principais resultados que formalizam a prova de segurança da distribuição quântica de chaves. Além disso, discutimos alguns dos desafios técnicos e conceituais envolvidos na incorporação de imperfeições experimentais às demonstrações de segurança, com o objetivo de desenvolver protocolos que sejam ao mesmo tempo práticos e seguros.