期刊文献+

Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking 被引量:1

Analysis of Security of Quantum Key Distribution Based on Entangled Photon Pairs by Model Checking
下载PDF
导出
摘要 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. 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.
出处 《Journal of Quantum Information Science》 2015年第3期103-108,共6页 量子信息科学期刊(英文)
关键词 CRYPTOGRAPHY QUANTUM CRYPTOGRAPHY QUANTUM KEY Distribution Model CHECKING Cryptography Quantum Cryptography Quantum Key Distribution Model Checking
  • 相关文献

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部