Two-Party Quantum Private Comparison with Five-Qubit Entangled States

2017 ◽  
Vol 56 (5) ◽  
pp. 1517-1529 ◽  
Author(s):  
Tian-Yu Ye ◽  
Zhao-Xu Ji
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