scholarly journals Quantum Private Comparison Protocols With a Number of Multi-Particle Entangled States

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 44613-44621 ◽  
Author(s):  
Zhaoxu Ji ◽  
Huanguo Zhang ◽  
Houzhen Wang
2014 ◽  
Vol 13 (10) ◽  
pp. 2343-2352 ◽  
Author(s):  
Qing-bin Luo ◽  
Guo-wu Yang ◽  
Kun She ◽  
Wei-na Niu ◽  
Yu-qi 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