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 func-tioning 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 quan-tum key distribution protocol, which uses the entangled photon based on BB84 in silico Model Checking Development of a Synthetic Gp 46-gp21 derived P400-P197 Peptide mimetic pharmacophore as a potential HTLV-1 Fusion Inhibitor in a mass-action law based new cluster of algorithms protocol

Keywords

Analysis of Security; Quantum Key; Distribution Based; Entangled Photon Pairs; Model Checking; in silico Development; Synthetic Gp 46-gp21; P400-P197 Peptide mimetic; pharmacophore; HTLV-1 Fusion Inhibitor; mass-action law; new cluster of algorithms;Cryptography, Quantum Cryptography, Quantum Key Distribution, Model Checking