Simple proof of security of the BB84 quantum key distribution protocol

Shor1, Preskill

  • 1AT&T Labs Research, Florham Park, New Jersey 07932, USA.

Physical Review Letters
|September 16, 2000
PubMed
Summary

We prove the 1984 Bennett and Brassard (BB84) quantum key distribution protocol is secure. This is achieved by first demonstrating a secure entanglement purification protocol, which then implies the security of BB84.

Related Concept Videos

Norton's Theorem01:14

Norton's Theorem

Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the one depicted in...
BIBO stability of continuous and discrete -time systems01:24

BIBO stability of continuous and discrete -time systems

System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
Net Change Theorem01:22

Net Change Theorem

The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application is in...
Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as:  with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the Complete Factorization...
Green’s Theorem01:27

Green’s Theorem

Green’s Theorem establishes a relationship between a line integral around a closed plane curve and a double integral over the region enclosed by that curve. It applies to a vector field F(x, y) = 〈P(x, y), Q(x, y)〉, where P and Q have continuous first partial derivatives on an open set containing the region.Let C be a positively oriented, simple, closed, piecewise smooth curve, and let R be the plane region bounded by C. Green’s Theorem states that\begin{equation*}\oint_C P\,dx+Q\,dy =\iint_R...
Extended Versions of Green’s Theorem01:27

Extended Versions of Green’s Theorem

Green’s Theorem connects the circulation of a vector field around a closed curve with the behavior of the field across the region enclosed by that curve. It provides a way to replace a line integral around a boundary with a double integral over the interior region, making it especially useful in plane geometry, fluid flow, and vector calculus.Although Green’s Theorem is often introduced using simple regions without gaps, it can also be applied to regions made from several simple parts. This...