Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking

• 作者: Surapol Rochanapratishtha Wanchai Pijitrojana
• 来源期刊: 量子信息科学期刊(英文)
• 学科: 工学
• 关键词: CRYPTOGRAPHY QUANTUM CRYPTOGRAPHY QUANTUM KEY Distribution Model CHECKING
• 年，卷（期）: 2015,（3）
• 页码范围: 103-108
• 页数: 6页
• 分类号: TN91

摘要

Quantum key distribution is a technique to securely distribute a bit string between two parties by using the laws of quantum mechanics. The security of this technique depends on the basis of quantum mechanics rather than the difficulty of the mathematical calculation as in the classical encoding. Researches in this field have shown that the quantum key distribution will be fully functioning outside the laboratory in a few years. Due to the complexity and the high efficiency of the device, the verification is needed. In this article, we use PRISM to verify the security of the quantum key distribution protocol, which uses the entangled photon based on BB84 protocol.