Quantum Private Comparison Protocol Based on Bell Entangled States

2012 ◽  
Vol 57 (4) ◽  
pp. 583-588 ◽  
Author(s):  
Wen Liu ◽  
Yong-Bin Wang ◽  
Wei Cui
2014 ◽  
Vol 13 (10) ◽  
pp. 2343-2352 ◽  
Author(s):  
Qing-bin Luo ◽  
Guo-wu Yang ◽  
Kun She ◽  
Wei-na Niu ◽  
Yu-qi Wang

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 44613-44621 ◽  
Author(s):  
Zhaoxu Ji ◽  
Huanguo Zhang ◽  
Houzhen Wang

2015 ◽  
Vol 29 (18) ◽  
pp. 1550089 ◽  
Author(s):  
Fan Yang ◽  
Guowu Yang ◽  
Yujie Hao ◽  
Qingbin Luo ◽  
Yuqi Wang

This paper presents an analysis method for quantum information protocols based on model checking, with special focus on the quantum privacy comparison (QPC). The security properties of these protocols can be proved but in ways with much difficulty. Here we will discuss a probabilistic model checking tool — PRISM to verify specific properties of QPC protocol with multi-body and PRISM to verify specific properties of quantum private comparison (QPC) protocol with multi-party and d-dimensional entangled states.


Sign in / Sign up

Export Citation Format

Share Document