The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking

被引：0
作者：
Fan Yang
Guowu Yang
Yujie Hao
机构：
[1] University of Electronic Science and Technology of China,Big Data Research Center
[2] University of Electronic Science and Technology of China,School of Computer Science and Engineering
来源：
International Journal of Theoretical Physics | 2016年 / 55卷
关键词：
Quantum cryptography; Eavesdropping; Model checking; PRISM;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The most crucial issue of quantum cryptography protocols is its security. There exists many ways to attack the quantum communication process. In this paper, we present a model checking method for modeling the eavesdropping in quantum information protocols. So when the security properties of a certain protocol are needed to be verified, we can directly use the models which are already built. Here we adopt the probabilistic model checking tool—PRISM to model these attack methods. The verification results show that the detection rate of eavesdropping is approximately close to 1 when enough photons are transmitted.
引用
收藏
页码：3414 / 3427
页数：13
相关论文
共 80 条
[1]  
Bennett CH(1992)Experimental quantum cryptography J. Cryptol. 5 3-28
[2]  
Bessette F(1999)Quantum secret sharing Phys. Rev. A 59 1829-1834
[3]  
Brassard G(2010)Multiparty quantum secret sharing with Bell states and Bell measurements Opt. Commun. 283 2476-2480
[4]  
Salvail L(2002)An arbitrated quantum signature scheme Phys. Rev. A 65 042312-450
[5]  
Smolin J(2004)Multiparty quantum state sharing of an arbitrary two-particle state with Einstein-Podolsky-Rosen pairs Phys. Lett. A 324 420-665
[6]  
Hillery M(2005)Symmetric multiparty-controlled teleportation of an arbitrary two-particle entanglement Phys. Rev. A 72 440-444
[7]  
Buzek V(2005)Quantum private comparison: a review Phys. Rev. A 72 656-1565
[8]  
Berthiaume A(2005)An efficient protocol for the private comparison of equal information based on the triplet entangled state and single particle measurement Phys. Lett. A 337 329-384
[9]  
Shi R(2013)New quantum private comparison protocol using EPR pairs IETE Tech. Rev. 30 439-897
[10]  
Huang L(2010)Efficient quantum private comparison employing single photons and collective detection Opt. Commun. 283 1561-3163
12345678