This report reviews two quantum key distribution (QKD) protocols: the BB84 protocol and the measurement device independent (MDI) QKD protocol. The goal of this report is to recreate the security proof of the BB84 protocol, to generate the secret key rate for a practical application of the BB84 protocol, both with and without decoy states, and to review the MDI-QKD protocol and look at the advantages it has for practical QKD. The proof security of the BB84 protocol is done by designing an equivalent theoretical protocol and proving its security by bounding the information of the eavesdropper to an exponentially small number. The best distance over which secret key rate can be generated with the practical model of the BB84 protocol that is presented in this report, is 165 km. This is achieved by employing decoy states and is more than three times as far as the model can achieve without decoy states, which gave a distance of 52 km at best. The zero distance key rate of the model with decoy states is R = 1.21 · 10-2 bits per pulse (bpp), at best. This is an order of magnitude larger than R =1.02 · 10-3 bpp, which is what the model without decoy states could produce. The decoy state method is therefore an improvement for practical QKD. By reviewing the MDI-QKD protocol it can be concluded that because it eliminates the measurement device side channels, it is very useful for practical QKD, since it makes security analysis simpler and more precise. It also necessarily employs decoy states, which improves the secret key rate. MDI-QKD therefore is a promising protocol to use for future quantum communications.
This report reviews two quantum key distribution (QKD) protocols: the BB84 protocol and the measurement device independent (MDI) QKD protocol. The goal of this report is to recreate the security proof of the BB84 protocol, to generate the secret key rate for a practical application of the BB84 protocol, both with and without decoy states, and to review the MDI-QKD protocol and look at the advantages it has for practical QKD. The proof security of the BB84 protocol is done by designing an equivalent theoretical protocol and proving its security by bounding the information of the eavesdropper to an exponentially small number. The best distance over which secret key rate can be generated with the practical model of the BB84 protocol that is presented in this report, is 165 km. This is achieved by employing decoy states and is more than three times as far as the model can achieve without decoy states, which gave a distance of 52 km at best. The zero distance key rate of the model with decoy states is R = 1.21 · 10-2 bits per pulse (bpp), at best. This is an order of magnitude larger than R =1.02 · 10-3 bpp, which is what the model without decoy states could produce. The decoy state method is therefore an improvement for practical QKD. By reviewing the MDI-QKD protocol it can be concluded that because it eliminates the measurement device side channels, it is very useful for practical QKD, since it makes security analysis simpler and more precise. It also necessarily employs decoy states, which improves the secret key rate. MDI-QKD therefore is a promising protocol to use for future quantum communications.
Measurement-device-independent quantum key distribution (MDI-QKD) is the only known QKD scheme that can completely overcome the problem of detection side-channel attacks. Yet, despite its practical importance, there is no standard approach towards proving the security of MDI-QKD. Here, we present a simple numerical method that can efficiently compute almost-tight security bounds for any discretely modulated MDI-QKD protocol. To demonstrate the broad utility of our method, we use it to analyze the security of coherent-state MDI-QKD, decoy-state MDI-QKD with leaky sources, and a variant of twin-field QKD called phase-matching QKD. In all of the numerical simulations (using realistic detection models) we find that our method gives significantly higher secret key rates than those obtained with current security proof techniques. Interestingly, we also find that phase-matching QKD using only two coherent test states is enough to overcome the fundamental rate-distance limit of QKD. Taken together, these findings suggest that our security proof method enables a versatile, fast, and possibly optimal approach towards the security validation of practical MDI-QKD systems.
Measurement-device-independent quantum key distribution (MDI-QKD) can remove all detection side-channels from quantum communication systems. The security proofs require, however, that certain assumptions on the sources are satisfied. This includes, for instance, the requirement that there is no information leakage from the transmitters of the senders, which unfortunately is very difficult to guarantee in practice. In this paper we relax this unrealistic assumption by presenting a general formalism to prove the security of MDI-QKD with leaky sources. With this formalism, we analyze the finite-key security of two prominent MDI-QKD schemes-a symmetric three-intensity decoy-state MDI-QKD protocol and a four-intensity decoy-state MDI-QKD protocol-and determine their robustness against information leakage from both the intensity modulator and the phase modulator of the transmitters. Our work shows that MDI-QKD is feasible within a reasonable time frame of signal transmission given that the sources are sufficiently isolated. Thus, it provides an essential reference for experimentalists to ensure the security of implementations of MDI-QKD in the presence of information leakage.
Quantum key distribution (QKD) can serve large numbers of users with unconditional secure communication, in which measurement-device-independent (MDI) QKD protocol can conveniently enhance realistic security by eliminating all detector side channels. In multi-user scenarios, MDI-QKD networks should meet the requirements of reliability and robustness. Around the issues, we complete a series of work on performance improvement, low-cost deployment, and robust networking. First is to answer how to change the trusted node to the untrusted node with low cost, here we propose and demonstrate an MDIQKD which is compatible with phase encoding BB84 networks, allowing for economical deployment of MDI-QKD networks and reconciliation between high key rate and high realistic security in the same network. Then we make the MDI networks more robust. We design an MDI-QKD networking scheme for multi-user access where more than two users can generate keys synchronously regardless of aligning reference frames and compensating channel disturbance on polarization. Third, we find a general method to distil secure keys from quantum discord, which is different to the previous entanglement-based frameworks of MDI-QKD, allowing imperfect preparation and measurement of quantum states. The series of work can help the practical application of MDI-QKD networks, and promote the development of quantum networks.
Quantum key distribution (QKD) is a straightforward cryptographic protocol for secure communication using quantum mechanics principles. This book chapter provides an introduction to QKD protocols based on theoretical principles, applicability, and recent advancements. The chapter provides an overview of the most popular BB84 protocol and its extensions, including measurement-device-independent QKD (MDI-QKD) and twin-field QKD (TF-QKD). The chapter includes continuous-variable QKD (CV-QKD) and its applicability to real networks. Security attacks, including side-channel attacks and photon-number splitting (PNS) attacks, are addressed with a focus on countermeasures, including decoy-state techniques and device-independent protocols. Application of QKD for network security, cloud computing, and critical infrastructure is addressed. Integration of QKD with classical cryptography techniques, post-quantum cryptography, and innovative quantum network topologies is addressed to investigate applicability for large-scale implementation. The chapter discusses recent advancements in superconducting nanowire single-photon detectors, quantum memory-assisted QKD, and free-space QKD in atmospheric channels. It also discusses innovative reconciliation techniques, authentication schemes, future developments, and deployment challenges and provides valuable information for researchers and practitioners.
Quantum technologies promise to boost ICT further by extending its limits, even by promising more effective and secure communications due to the benefits of quantum physics. This leads to Quantum Key Distribution (QKD), a cryptographic primitive for securely exchanging a secret key between distant endpoints, leveraging an insecure communication channel due to potential eavesdroppers. The literature on QKD started with the BB84 protocol proposed in 1984 and continued with other protocols, each with its pros and cons. Still, they have been chiefly designed for static scenarios and do not consider the needs of dynamic networks. This paper presents a QKD solution for dynamic networks combining adaptive key management techniques and fault-tolerant routing, ensuring high security and efficiency even in variable network topologies. Using MDI-QKD (Measurement Device Independent QKD) and simulations with NetSquid, we provide a preliminary assessment of this solution's robustness against dynamic attacks and the improvement in quantum resource management. The work also compares the protocol's effectiveness with existing solutions, highlighting the advantages and potential practical applications.
The decoy-state Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol is widely regarded as the de facto standard for practical implementations. On the receiver side, passive basis choice is attractive because it significantly reduces the need for random number generators and eliminates the need for optical modulators. Despite these advantages, a finite-key analytical security proof for the decoy-state BB84 protocol, where the basis is chosen passively with a biased probability, has been lacking. In this work, we present a simple analytical finite-key security proof for this setting, yielding a closed-form secret-key rate formula that can be directly evaluated using experimentally accessible parameters. Numerical simulations show that the key rates of passiveand active-measurement implementations are nearly identical, indicating that passive measurement does not compromise key-generation efficiency in practical QKD systems.