Skip to main content
Article thumbnail
Location of Repository

SIMULATION AND ANALYSIS OF BB84 PROTOCOL BY MODEL CHECKING

By J.R. SAHOO and S. SATAPATHY

Abstract

Quantum Cryptography or Quantum key distribution (QKD) is a technique to securely distribute a bit string,among two parties by using laws of quantum mechanics. Its security relies on foundations of quantummechanics, where as classical cryptography relies on difficulty of certain mathematical problems that can not able to provide unconditional security. Progress of research in this field indicates that QKD will be available outside the laboratory within next few years. These devices have now become complex and more effort isneeded for their verification. In this paper, we will use the PRISM tool to analyze the security of BB84 protocol and more specifically the property of eavesdropping detection by combining the parameters of quantum channel and power of eavesdropper

Topics: BB84 protocol, Quantum Cryptography, Quantum Key Distribution, Model Checking, LCC:General Works, LCC:A, DOAJ:Multidisciplinary, DOAJ:General Works
Publisher: Engg Journals Publication
Year: 2011
OAI identifier: oai:doaj.org/article:5746913dada24a39a584908972e8b41e
Journal:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://doaj.org/search?source=... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.