Article citationsMore>>

Elboukhari, M., Azizi, M. and Azizi, A. (2010) Analysis of the Security of BB84 by Model Checking. International Journal of Network Security & Its Applications (IJNSA), 2, 87-97.

has been cited by the following article:

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

  AUTHORS: Surapol Rochanapratishtha, Wanchai Pijitrojana

  KEYWORDS: Cryptography, Quantum Cryptography, Quantum Key Distribution, Model Checking

  JOURNAL NAME: Journal of Quantum Information Science, Vol.5 No.3, September 16, 2015

  ABSTRACT: 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.