Abstract:Key establishment is a crucial primitive for building secure channels in a multi-party setting. Without quantum mechanics, key establishment can only be done under the assumption that some computational problem is hard. Since digital communication can be easily eavesdropped and recorded, it is important to consider the secrecy of information anticipating future algorithmic and computational discoveries which could break the secrecy of past keys, violating the secrecy of the confidential channel.Quantum key distribution (QKD) can be used generate secret keys that are secure against any future algorithmic or computational improvements. QKD protocols still require authentication of classical communication, although existing security proofs of QKD typically assume idealized authentication. It is generally considered folklore that QKD when used with computationally secure authentication is still secure against an unbounded adversary, provided the adversary did not break the authentication during the run of the protocol.We describe a security model for quantum key distribution extending classical authenticated key exchange (AKE) security models. Using our model, we characterize the long-term security of the BB84 QKD protocol with computationally secure authentication against an eventually unbounded adversary. By basing our model on traditional AKE models, we can more readily compare the relative merits of various forms of QKD and existing classical AKE protocols. This comparison illustrates in which types of adversarial environments different quantum and classical key agreement protocols can be secure.

Quantum Key Distribution Protocol Based on Modified Generalization of Deutsch-Jozsa Algorithm in d-level Quantum System

02 13 1 v 2 4 M ar 2 00 4 A Generic Security Proof for Quantum Key Distribution

Quantum Key Distribution using Expectation Values of Super-classical GHZ States

Quantum Algorithm for Generalized Deutsch-Jozsa Problem

General Quantum Key Distribution in Higher Dimension

Quantum Key Distribution (QKD) Protocols: A Survey

Quantum Key Distribution: Security, Feasibility and Robustness

Generalized decoding, effective channels, and simplified security proofs in quantum key distribution

Quantum Authentication and Quantum Key Distribution Protocol

Discrete-modulated continuous-variable quantum key distribution secure against general attacks

Quantum Key Distribution with the Decoy-State Method

User-defined Quantum Key Distribution

Quantum Key Distribution in the Classical Authenticated Key Exchange Framework

A Quantum Key Distribution Protocol with Selecting Announced States, Robust against Photon Number Splitting Attacks

Complete security analysis of {quantum key distribution} based on unified model of sequential discrimination strategy

Quantum Key Distribution with Screening and Analyzing

Practical Issues in Quantum-Key-distribution Postprocessing

A novel hybrid protocol for semiquantum key distribution and semiquantum secret sharing

Security and application of semi-quantum key distribution protocol for users with different quantum capabilities

Robust Interior Point Method for Quantum Key Distribution Rate Computation

Security Level and Information Flow in a Quantum Key Distribution Network